diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Extract.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Extract.ml b/compiler/Extract.ml index 558a981d..b16f9639 100644 --- a/compiler/Extract.ml +++ b/compiler/Extract.ml @@ -820,7 +820,7 @@ let mk_formatter (ctx : trans_ctx) (crate_name : string) F.pp_print_string fmt ")"; F.pp_print_string fmt ")") else Z.pp_print fmt sv.value; - F.pp_print_string fmt " (by intlit))") + F.pp_print_string fmt ")") | Bool b -> let b = match !backend with |