Fixing some things that prevented SML/NJ compilation
authorAdam Chlipala <adamc@hcoop.net>
Fri, 9 Mar 2007 04:47:41 +0000 (04:47 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Fri, 9 Mar 2007 04:47:41 +0000 (04:47 +0000)

No differences found