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 | 662c635acece462b9a3d8f95f30716f9904b5ad5 (patch) | |
| tree | 4d4a46bcc85dddd733c8b96416c8cbba8c204e9e /src/sources | |
| parent | 109da4465170be4f88216c6b0b2fc7d2e4c819b8 (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 |