From f066675dc9ead0ef88e27c139c046906f2fcdaeb Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Wed, 8 Feb 2017 15:54:10 +0100 Subject: Checks can be applied add several places. There should not be a single check place, since for example unknonw attributes should be check after elaboration and other simplifications. --- cparser/Checks.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'cparser/Checks.mli') diff --git a/cparser/Checks.mli b/cparser/Checks.mli index 34185542..1566d6e4 100644 --- a/cparser/Checks.mli +++ b/cparser/Checks.mli @@ -13,4 +13,4 @@ (* *) (* *********************************************************************) -val program: C.program -> unit +val unknown_attrs_program: C.program -> unit -- cgit