Update parser error message

This commit is contained in:
Raphaël Monat 2023-03-10 09:30:20 +01:00
parent 887ec00d0e
commit b013f4257d

View File

@ -504,8 +504,8 @@ let scope_item :=
DateRounding(v), Marked.get_mark v
| _ ->
Errors.raise_spanned_error
(Pos.from_lpos $sloc)
"Expected round"
(Pos.from_lpos $loc(i))
"Expected the form 'date round increasing' or 'date round decreasing'"
}
let struct_scope_base :=