From f1d236b83003eda71e12840732d159fd23b1b771 Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 29 Apr 2014 13:58:18 +0000 Subject: Integration of Jacques-Henri Jourdan's verified parser. (Merge of branch newparser.) git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2469 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cparser/Cerrors.mli | 1 + 1 file changed, 1 insertion(+) (limited to 'cparser/Cerrors.mli') diff --git a/cparser/Cerrors.mli b/cparser/Cerrors.mli index 557fb14..6d34451 100644 --- a/cparser/Cerrors.mli +++ b/cparser/Cerrors.mli @@ -19,4 +19,5 @@ exception Abort val fatal_error : ('a, Format.formatter, unit, unit, unit, 'b) format6 -> 'a val error : ('a, Format.formatter, unit, unit, unit, unit) format6 -> 'a val warning : ('a, Format.formatter, unit, unit, unit, unit) format6 -> 'a +val info : ('a, Format.formatter, unit, unit, unit, unit) format6 -> 'a val check_errors : unit -> bool -- cgit v1.2.3