diff options
Diffstat (limited to 'src/reporting_basic.ml')
| -rw-r--r-- | src/reporting_basic.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml index af1f85d0..fce7137d 100644 --- a/src/reporting_basic.ml +++ b/src/reporting_basic.ml @@ -259,8 +259,7 @@ let print_err_internal fatal verb_loc p_l m1 m2 = let print_err fatal verb_loc l m1 m2 = print_err_internal fatal verb_loc (Loc l) m1 m2 - -type error = +type error = | Err_general of Parse_ast.l * string | Err_unreachable of Parse_ast.l * string | Err_todo of Parse_ast.l * string |