diff options
| author | Son Ho | 2023-07-12 15:58:38 +0200 |
|---|---|---|
| committer | Son Ho | 2023-07-12 15:58:38 +0200 |
| commit | e010c10fb9a1e2d88b52a4f6b4a0865448276013 (patch) | |
| tree | bb33eccde0143f2faf2174a4ede025cb41c398af /compiler | |
| parent | 59e4a06480b5365f48dc68de80f44841f94094ed (diff) | |
Make the `by inlit` implicit
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 |