diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-07-12 16:09:54 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-07-12 16:09:54 -0400 |
commit | 0240f6b83c282b74806c545daa48357e1e9fe0c4 (patch) | |
tree | 4d4a46bcc85dddd733c8b96416c8cbba8c204e9e /src/sources | |
parent | 22441ab55452e05afa88c81bb75d1810ba846a8c (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/sources | 6 |
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 |