Just warn about unimplemented types - they can be safely skipped.
authorRichard W.M. Jones <rich@annexia.org>
Tue, 1 Jul 2008 12:34:31 +0000 (12:34 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Tue, 1 Jul 2008 12:34:31 +0000 (12:34 +0000)
commit1be824ff4774c2df525b7647c6d9ca4502a753f8
tree6df03040d15002374cfa0fb12cf1f714eeb88606
parente118b0bbc98d329c6b7e56b08dd0c044a962bc6e
Just warn about unimplemented types - they can be safely skipped.
cil-tools/bitmatch_import_c.ml