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 | fe2d1fe8ab56f83796a80bcb370d7420e693ab2a (patch) | |
| tree | fd1b94c909fc8c4b2c176406f157cbe8812f5984 /src/sources | |
| parent | b01b8ee2e96e7fec30380991ba723558db3666f2 (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 |