coccinelle release 0.2.5

[bpt/coccinelle.git] / testing.ml

diff --git a/testing.ml b/testing.ml
index 0aefe91..3b42651 100644 (file)
--- a/testing.ml
+++ b/testing.ml
@@ -484,7 +484,7 @@ let test_parse_cocci file =
        (if !Flag.scanner = Flag.Glimpse then "glimpse" else "google");
       (match query with
        None -> pr "No query"
-      | Some x -> pr (String.concat " ||\n" x))
+      | Some x -> pr (String.concat "\nor on glimpse failure\n" x))