diff options
Diffstat (limited to 'plugins/syntax/nat_syntax.ml')
-rw-r--r-- | plugins/syntax/nat_syntax.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/syntax/nat_syntax.ml b/plugins/syntax/nat_syntax.ml index 6d62496ee..ab262fea7 100644 --- a/plugins/syntax/nat_syntax.ml +++ b/plugins/syntax/nat_syntax.ml @@ -47,7 +47,7 @@ let nat_of_int dloc n = mk_nat ref_O n end else - user_err "nat_of_int" + user_err ~hdr:"nat_of_int" (str "Cannot interpret a negative number as a number of type nat") (************************************************************************) |