git.annexia.org
/
ocaml-bitstring.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Version 1.9.2 for release.
[ocaml-bitstring.git]
/
cil-tools
/
bitmatch_import_c.ml
diff --git
a/cil-tools/bitmatch_import_c.ml
b/cil-tools/bitmatch_import_c.ml
index
dc4e520
..
6936fac
100644
(file)
--- 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;
[]