CIL examples.

[ocaml-bitstring.git] / cil-tools / task_struct.c

diff --git a/cil-tools/task_struct.c b/cil-tools/task_struct.c
index b17f925..51a4c29 100644 (file)
--- a/cil-tools/task_struct.c
+++ b/cil-tools/task_struct.c
@@ -4,6 +4,7 @@
  * Use: bitmatch-import-c task_struct.c > task_struct.ml
  *
  * Tip: Add the --debug flag to that command line to see what's going on.
+ * Also use bitmatch-objinfo to examine the bmpp file.
  */
 
 /* Any defines, etc. necessary to get the include to work. */