summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-07-12 16:09:54 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-07-12 16:09:54 -0400
commit662c635acece462b9a3d8f95f30716f9904b5ad5 (patch)
tree4d4a46bcc85dddd733c8b96416c8cbba8c204e9e /src/sources
parent109da4465170be4f88216c6b0b2fc7d2e4c819b8 (diff)
Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sources b/src/sources
index 7ba0b999..b284e5a9 100644
--- a/src/sources
+++ b/src/sources
@@ -13,6 +13,9 @@ order.sml
errormsg.sig
errormsg.sml
+print.sig
+print.sml
+
settings.sig
settings.sml
@@ -31,9 +34,6 @@ postgres.sml
mysql.sig
mysql.sml
-print.sig
-print.sml
-
prim.sig
prim.sml