diff options
Diffstat (limited to 'src/reporting_basic.mli')
| -rw-r--r-- | src/reporting_basic.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/reporting_basic.mli b/src/reporting_basic.mli index 559be9d4..3d1cbe13 100644 --- a/src/reporting_basic.mli +++ b/src/reporting_basic.mli @@ -104,3 +104,4 @@ val err_typ_dual : Parse_ast.l -> Parse_ast.l -> string -> exn raising a [Fatal_error] exception is recommended. *) val report_error : error -> 'a +val print_error : error -> unit |