Coccinelle release 1.0.0-rc4

[bpt/coccinelle.git] / testing.ml

diff --git a/testing.ml b/testing.ml
index 0192b10..3f5ec1e 100644 (file)
--- a/testing.ml
+++ b/testing.ml
@@ -483,7 +483,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))