From 6e5d56aeaba8db09debf2cb4bfa5afb5b76cdcdc Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 30 Mar 2006 11:15:52 +0000 Subject: [PATCH] Sys.Break used to be captured. --- helm/software/components/cic/cicParser.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/software/components/cic/cicParser.ml b/helm/software/components/cic/cicParser.ml index a7ad3c9cf..f9d6d880e 100644 --- a/helm/software/components/cic/cicParser.ml +++ b/helm/software/components/cic/cicParser.ml @@ -751,6 +751,7 @@ let parse uri filename = | Failure "int_of_string" -> parse_error ctxt "integer number expected" | Invalid_argument "bool_of_string" -> parse_error ctxt "boolean expected" | P.Parse_error msg -> parse_error ctxt ("parse error: " ^ msg) + | Sys.Break | Parser_failure _ | Getter_failure _ as exn -> raise exn -- 2.39.2