diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Translate.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Translate.ml b/src/Translate.ml index 7247279a..82b9f9cc 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -592,7 +592,7 @@ let translate_module (filename : string) (dest_dir : string) (config : config) let types_module = module_name ^ ".Types" in let types_config = { base_gen_config with extract_types = true } in extract_file types_config gen_ctx types_filename m.M.name types_module - ": types definitions" [] []; + ": type definitions" [] []; (* Extract the template clauses *) (if |