diff src/sources @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents 5819fb63c93a
children 346cf1908a17
line wrap: on
line diff
--- a/src/sources	Thu Apr 30 16:25:27 2009 -0400
+++ b/src/sources	Thu Apr 30 17:15:14 2009 -0400
@@ -13,6 +13,9 @@
 errormsg.sig
 errormsg.sml
 
+settings.sig
+settings.sml
+
 print.sig
 print.sml