X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/3a31414346dd7d7e8baa4cb8b804a2d5e1797962..5427db06e325c3c7c572e2e1ebe88a2fd211641c:/testing.ml

diff --git a/testing.ml b/testing.ml
index 0192b10..3f5ec1e 100644
--- 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))