Update batch.mlp size headers after the removal of main/*license.sml

Ravenbrook / mlworks

MLWorks is a Standard ML compiler and development environment.

http://www.ravenbrook.com/project/mlworks

Other

179 stars 19 forks source link

Open ratmice opened 6 years ago

ratmice commented 6 years ago

Loading batch.mlp would cause a "Missing section size for section" error when bootstrapping