Fix the predicate which checks for non-sensical formulae which have
[oota-llvm.git] / test / Bindings /
drwxr-xr-x   ..
drwxr-xr-x - Ocaml