diff options
| -rw-r--r-- | contrib/extraction/ocaml.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/extraction/ocaml.ml b/contrib/extraction/ocaml.ml index 4dd829e5e9..1ed82090a3 100644 --- a/contrib/extraction/ocaml.ml +++ b/contrib/extraction/ocaml.ml @@ -144,7 +144,8 @@ let rec pp_type par vl t = let is_ifthenelse = function | [|(r1,[],_);(r2,[],_)|] -> - (find_custom r1 = "true") && (find_custom r2 = "false") + (try (find_custom r1 = "true") && (find_custom r2 = "false") + with Not_found -> false) | _ -> false let expr_needs_par = function |