From 5736aabb773bbd6bd3333184ba81ef1ea21d276a Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hans-peter.deifel@fau.de>
Date: Thu, 16 Mar 2017 18:26:39 +0100
Subject: [PATCH] Replace Array.exists by Array.fold_left
Array.exists is only available since OCaml 4.03.0 and we need to
support version at least version 4.02.3.
---
src/coalg/coalg.ml | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/coalg/coalg.ml b/src/coalg/coalg.ml
index 2bfbf20..25df277 100644
--- a/src/coalg/coalg.ml
+++ b/src/coalg/coalg.ml
@@ -94,9 +94,12 @@ let verbose = ref false
let choiceSat () =
let verb = !verbose in
let sorts = (FE.sortTableFromString Sys.argv.(2)) in
- if Array.exists (fun (func,_) -> func == CM.GML || func == CM.PML) sorts then
+
+ (* test if GML or PML occurs in sort table *)
+ if Array.fold_left (fun x (func,_) -> x || func == CM.GML || func == CM.PML) false sorts then
raise (CF.CoAlgException "GML and PML are currently not supported")
else ();
+
let printRes sat =
if not verb then
print_endline (if sat then "satisfiable\n" else "unsatisfiable\n")
--
GitLab