From: Richard W.M. Jones <rich@annexia.org>
Date: Tue, 1 Jul 2008 12:34:31 +0000 (+0000)
Subject: Just warn about unimplemented types - they can be safely skipped.
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=1be824ff4774c2df525b7647c6d9ca4502a753f8;hp=e118b0bbc98d329c6b7e56b08dd0c044a962bc6e;p=ocaml-bitstring.git

Just warn about unimplemented types - they can be safely skipped.
---

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;
 	    []