summaryrefslogtreecommitdiff
path: root/compiler/Extract.ml
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/Extract.ml')
-rw-r--r--compiler/Extract.ml2
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