Map 8-bit int element arrays to strings
authorRichard W.M. Jones <rich@annexia.org>
Tue, 17 Jun 2008 15:33:16 +0000 (15:33 +0000)
committerRichard W.M. Jones <rich@annexia.org>
Tue, 17 Jun 2008 15:33:16 +0000 (15:33 +0000)
commit0413e3eaa87aba7c3a7dd0c08c69f14ca6766661
treed317f89b0abf7c2c5e925fad73918e327ab29d99
parentadc39fc130b77da467a69c668dc7af9efdc1d9e3
Map 8-bit int element arrays to strings
cil-tools/bitmatch_import_c.ml