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 cff814f4..efaa43d6 100644 --- a/src/Translate.ml +++ b/src/Translate.ml @@ -267,7 +267,7 @@ let translate_module (filename : string) (config : C.partial_config) (* Initialize the extraction context - for now we extract only to F* *) let names_map = - PureToExtract.initialize_names_map ExtractToFStar.fstar_keywords + PureToExtract.initialize_names_map ExtractToFStar.fstar_names_map_init in let variant_concatenate_type_name = true in let fstar_fmt = |