diff options
Diffstat (limited to 'vernac/ind_tables.ml')
| -rw-r--r-- | vernac/ind_tables.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/vernac/ind_tables.ml b/vernac/ind_tables.ml index c6588684a..f3259f1f3 100644 --- a/vernac/ind_tables.ml +++ b/vernac/ind_tables.ml @@ -81,7 +81,7 @@ let scheme_object_table = let declare_scheme_object s aux f = let () = if not (Id.is_valid ("ind" ^ s)) then - error ("Illegal induction scheme suffix: " ^ s) + user_err Pp.(str ("Illegal induction scheme suffix: " ^ s)) in let key = if String.is_empty aux then s else aux in try |