From 662c635acece462b9a3d8f95f30716f9904b5ad5 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 12 Jul 2009 16:09:54 -0400 Subject: Demo compiles again with Postgres and MySQL; MySQL version lacks sequence code and so doesn't work yet --- src/sources | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/sources') 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 -- cgit v1.2.3