diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-01-02 17:08:39 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-01-02 17:08:39 -0500 |
| commit | 415f477a62e6bf0776eec2ba13fc2ae05cf77735 (patch) | |
| tree | fd1b94c909fc8c4b2c176406f157cbe8812f5984 /src/sources | |
| parent | 7599d4cacde93b7dac3d1dea2b147f6e49425072 (diff) | |
Fix handling of quotes in generating C literals
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 5d1f099d..aebe9de6 100644 --- a/src/sources +++ b/src/sources @@ -31,15 +31,15 @@ fastcgi.sml 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 |