X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Ftest_parser.ml;h=0f6b2d162c07ab05d4fd1b21b21b8e6a26bcad52;hb=7cb90c67bc6f8113188a91ecc29f6db20db5aeb8;hp=fdab36ef329c589532acbe66bd7b497e75f6a93d;hpb=aba014724c9ad08f80944ec3021c9fa3826dca4a;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml
index fdab36ef3..0f6b2d162 100644
--- a/helm/ocaml/cic_disambiguation/test_parser.ml
+++ b/helm/ocaml/cic_disambiguation/test_parser.ml
@@ -24,7 +24,11 @@
  *)
 
 try
-  let ic = open_in Sys.argv.(1) in
+  let ic =
+    (try
+      open_in Sys.argv.(1)
+    with Invalid_argument _ -> stdin)
+  in
   let term = Parser.parse_term (Stream.of_channel ic) in
   close_in ic;
   print_endline (Pp.pp_term term)