X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.ml;h=d7cf692849933d6a51fb0ac07b1b73ee882f0129;hb=09aa799947c84148221af82e94e911adea8fd1e6;hp=1c7245164147eb8227b4ffb1c86418a6a13cf867;hpb=84e62facde0ee126b5f08dd376086acd861a9320;p=helm.git

diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml
index 1c7245164..d7cf69284 100644
--- a/helm/proofChecker/proofChecker.ml
+++ b/helm/proofChecker/proofChecker.ml
@@ -39,18 +39,22 @@ List of options:"
       exit (-1)
      end
   ) usage_msg ;
-  while true do
-   begin
-    try
-     CicTypeChecker.typecheck (UriManager.uri_of_string (read_line ()))
-    with
-     e ->
-      print_newline() ;
-      flush stdout ;
-      raise e
-   end ;
-   print_endline "END"
-  done
+  try
+   while true do
+    begin
+     try
+      CicTypeChecker.typecheck (UriManager.uri_of_string (read_line ()))
+     with
+        End_of_file -> raise End_of_file
+      | e ->
+       print_newline() ;
+       flush stdout ;
+       raise e
+    end ;
+    print_endline "END"
+   done
+  with
+   End_of_file -> ()
 ;;
 
 CicCooking.init() ;