diff options
| -rw-r--r-- | src/Common.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Common.ml b/src/Common.ml index a477b58..6f7c5f4 100644 --- a/src/Common.ml +++ b/src/Common.ml @@ -167,10 +167,10 @@ let module_name = let pp = Format.formatter_of_out_channel stdout let id_not_found id = - failwith (sprintf "unknown ID ``%s''" (Ident.name id)) + failwith @$ sprintf "unknown ID ``%s''" @$ Ident.name id let unsupported_arity expected got = - failwith (sprintf "unsupported arity (expected %d, got %d)" expected got) + failwith @$ sprintf "unsupported arity (expected %d, got %d)" expected got let unsupported_lambda_term t = failwith "unsupported lambda term" |