From f066675dc9ead0ef88e27c139c046906f2fcdaeb Mon Sep 17 00:00:00 2001
From: Bernhard Schommer <bernhardschommer@gmail.com>
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/Parse.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser/Parse.ml')

diff --git a/cparser/Parse.ml b/cparser/Parse.ml
index 0d3003aa..f7676083 100644
--- a/cparser/Parse.ml
+++ b/cparser/Parse.ml
@@ -25,7 +25,7 @@ let transform_program t p name =
   (run_pass Bitfields.program 'f'
      p)))) in
   let p2 = Rename.program p1 in
-  Checks.program p2;
+  Checks.unknown_attrs_program p2;
   p2
 
 let parse_transformations s =
-- 
cgit