Tom Ridge wrote: > Dear All, > > I see the following when compiling some theories: > > Exporting theory "exp" ... > Failure while writing theory! > Fatal error: out of memory. > > I'm sure I've got enough memory. How can I tell hol/mosml to use more?
Ouch. How huge is the datatype definition hiding inside expScript.sml? Michael. ------------------------------------------------------------------------- Check out the new SourceForge.net Marketplace. It's the best place to buy or sell services for just about anything Open Source. http://ad.doubleclick.net/clk;164216239;13503038;w?http://sf.net/marketplace _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
