diff options
Diffstat (limited to 'src/pretty_print_lem.ml')
| -rw-r--r-- | src/pretty_print_lem.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print_lem.ml b/src/pretty_print_lem.ml index b9ef1aec..0bb73aa5 100644 --- a/src/pretty_print_lem.ml +++ b/src/pretty_print_lem.ml @@ -739,7 +739,7 @@ let doc_exp_lem, doc_let_lem = | _ -> let call = match annot with | Some (env, _, _) when Env.is_extern f env -> - string (Env.get_extern f env) + string (Env.get_extern f env "lem") | _ -> doc_id_lem f in let argspp = match args with | [arg] -> expV true arg |