diff src/sources @ 1656:3e7c7e200713

Fix handling of quotes in generating C literals
author Adam Chlipala <adam@chlipala.net>
date Mon, 02 Jan 2012 17:08:39 -0500
parents 154cfe2eb366
children cb0f05bdc183
line wrap: on
line diff
--- a/src/sources	Mon Jan 02 16:54:18 2012 -0500
+++ b/src/sources	Mon Jan 02 17:08:39 2012 -0500
@@ -31,15 +31,15 @@
 static.sig
 static.sml
 
+prim.sig
+prim.sml
+
 mysql.sig
 mysql.sml
 
 sqlite.sig
 sqlite.sml
 
-prim.sig
-prim.sml
-
 datatype_kind.sml
 
 export.sig