diff options
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/Translate.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Translate.ml b/compiler/Translate.ml index 012669dc..f34231e0 100644 --- a/compiler/Translate.ml +++ b/compiler/Translate.ml @@ -752,7 +752,7 @@ let translate_module (filename : string) (dest_dir : string) (crate : A.crate) : in let module_delimiter = - match !Config.backend with FStar -> "." | Coq -> "__" + match !Config.backend with FStar -> "." | Coq -> "_" in (* Extract one or several files, depending on the configuration *) |