From 1be824ff4774c2df525b7647c6d9ca4502a753f8 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Tue, 1 Jul 2008 12:34:31 +0000 Subject: [PATCH] Just warn about unimplemented types - they can be safely skipped. --- cil-tools/bitmatch_import_c.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cil-tools/bitmatch_import_c.ml b/cil-tools/bitmatch_import_c.ml index dc4e520..6936fac 100644 --- a/cil-tools/bitmatch_import_c.ml +++ b/cil-tools/bitmatch_import_c.ml @@ -293,7 +293,7 @@ OPTIONS" in [] (* XXX *) | t -> - Errormsg.unimp "to_fields: %a: unhandled type: %a" + Errormsg.warn "pattern_of_struct: %a: unhandled type: %a" d_loc loc d_type t; [] -- 1.8.3.1