This requires ISE's Personal Eiffel for Windows.  It is NOT for the free
version. All terms of the ISE end-user license apply.

This is a patch for ISE's Personal Eiffel for Windows base precompile, WITHOUT
lex & parse.  This is the default for 8M machines.

It fixes two problems. These  problems are the freeing of resources
at the end of execution and the pattern of memory usage.

To install the patch copy all the files in this ZIP to the directory where
the precompiled driver resides. 

If you installed in C:\EIFFEL3 this will be 
C:\EIFFEL3\precomp\spec\winpers\base\eifgen\w_code.

You may want to make a backup of driver.exe before executing patch.

Run patch.

You now have an updated driver with the problems solved.

Happy Eiffeling.