cil-project
diff --git a/‎_tags
+1-1 b/‎_tags
+1-1
diff --git a/‎src/_tags
+1-1 b/‎src/_tags
+1-1
diff --git a/‎ocamlutil/alpha.ml ‎src/ocamlutil/alpha.ml b/‎ocamlutil/alpha.ml ‎src/ocamlutil/alpha.ml
diff --git a/‎ocamlutil/alpha.mli ‎src/ocamlutil/alpha.mli b/‎ocamlutil/alpha.mli ‎src/ocamlutil/alpha.mli
diff --git a/‎ocamlutil/bitmap.ml ‎src/ocamlutil/bitmap.ml b/‎ocamlutil/bitmap.ml ‎src/ocamlutil/bitmap.ml
diff --git a/‎ocamlutil/bitmap.mli ‎src/ocamlutil/bitmap.mli b/‎ocamlutil/bitmap.mli ‎src/ocamlutil/bitmap.mli
diff --git a/‎ocamlutil/clist.ml ‎src/ocamlutil/clist.ml b/‎ocamlutil/clist.ml ‎src/ocamlutil/clist.ml
diff --git a/‎ocamlutil/clist.mli ‎src/ocamlutil/clist.mli b/‎ocamlutil/clist.mli ‎src/ocamlutil/clist.mli
diff --git a/‎ocamlutil/errormsg.ml ‎src/ocamlutil/errormsg.ml b/‎ocamlutil/errormsg.ml ‎src/ocamlutil/errormsg.ml
diff --git a/‎ocamlutil/errormsg.mli ‎src/ocamlutil/errormsg.mli b/‎ocamlutil/errormsg.mli ‎src/ocamlutil/errormsg.mli
diff --git a/‎ocamlutil/growArray.ml ‎src/ocamlutil/growArray.ml b/‎ocamlutil/growArray.ml ‎src/ocamlutil/growArray.ml
diff --git a/‎ocamlutil/growArray.mli ‎src/ocamlutil/growArray.mli b/‎ocamlutil/growArray.mli ‎src/ocamlutil/growArray.mli
diff --git a/‎ocamlutil/inthash.ml ‎src/ocamlutil/inthash.ml b/‎ocamlutil/inthash.ml ‎src/ocamlutil/inthash.ml
diff --git a/‎ocamlutil/inthash.mli ‎src/ocamlutil/inthash.mli b/‎ocamlutil/inthash.mli ‎src/ocamlutil/inthash.mli
diff --git a/‎ocamlutil/longarray.ml ‎src/ocamlutil/longarray.ml b/‎ocamlutil/longarray.ml ‎src/ocamlutil/longarray.ml
diff --git a/‎ocamlutil/longarray.mli ‎src/ocamlutil/longarray.mli b/‎ocamlutil/longarray.mli ‎src/ocamlutil/longarray.mli
diff --git a/‎ocamlutil/pretty.ml ‎src/ocamlutil/pretty.ml b/‎ocamlutil/pretty.ml ‎src/ocamlutil/pretty.ml
diff --git a/‎ocamlutil/pretty.mli ‎src/ocamlutil/pretty.mli b/‎ocamlutil/pretty.mli ‎src/ocamlutil/pretty.mli
diff --git a/‎ocamlutil/stats.ml ‎src/ocamlutil/stats.ml b/‎ocamlutil/stats.ml ‎src/ocamlutil/stats.ml
diff --git a/‎ocamlutil/stats.mli ‎src/ocamlutil/stats.mli b/‎ocamlutil/stats.mli ‎src/ocamlutil/stats.mli
diff --git a/‎ocamlutil/trace.ml ‎src/ocamlutil/trace.ml b/‎ocamlutil/trace.ml ‎src/ocamlutil/trace.ml
diff --git a/‎ocamlutil/trace.mli ‎src/ocamlutil/trace.mli b/‎ocamlutil/trace.mli ‎src/ocamlutil/trace.mli
diff --git a/‎ocamlutil/util.ml ‎src/ocamlutil/util.ml b/‎ocamlutil/util.ml ‎src/ocamlutil/util.ml
diff --git a/‎ocamlutil/util.mli ‎src/ocamlutil/util.mli b/‎ocamlutil/util.mli ‎src/ocamlutil/util.mli
@@ -1,6 +1,6 @@
 # Traverse only subdirectories containing source code
 true: -traverse
-<src> or <ocamlutil>: include
+<src>: include
 # build every cmo in debug mode (for cil.cma)
 <**/*.cmo>: debug
 <**/*.ml>: bin_annot, annot
@@ -1,4 +1,4 @@
-<ext> or <ext/*> or <frontc>: include
+<ext> or <ext/*> or <frontc> or <ocamlutil>: include
 
 <feature.ml>: package(findlib)
 <main.{byte,native}>: use_unix, use_str, use_nums, use_dynlink, use_cil, linkall, package(findlib)