diff options
Diffstat (limited to 'contrib/extraction/haskell.ml')
-rw-r--r-- | contrib/extraction/haskell.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/extraction/haskell.ml b/contrib/extraction/haskell.ml index f3d64fcee..cb1ac038d 100644 --- a/contrib/extraction/haskell.ml +++ b/contrib/extraction/haskell.ml @@ -32,7 +32,7 @@ let keywords = let preamble prm = let m = match prm.mod_name with | None -> "Main" - | Some m -> String.capitalize m + | Some m -> String.capitalize (string_of_id m) in [< 'sTR "module "; 'sTR m; 'sTR " where"; 'fNL; 'fNL; 'sTR "type Prop = ()"; 'fNL; |