From: Richard W.M. Jones Date: Fri, 8 Jan 2010 14:43:45 +0000 (+0000) Subject: CIL example: is now required for X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=782ae8471ff00a7df052f521af64a0d0750976bd;p=ocaml-bitstring.git CIL example: is now required for --- diff --git a/cil-tools/ext3.c b/cil-tools/ext3.c index c2267e4..b666016 100644 --- a/cil-tools/ext3.c +++ b/cil-tools/ext3.c @@ -17,6 +17,7 @@ /* Include files necessary to get the structure(s) and constant(s) we're * interested in. */ +#include #include #include