From 066ed7b84447540b86028357af4e00cc71389a08 Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Wed, 13 Apr 2016 02:35:28 +0200
Subject: [PATCH] Fix syntax error introduced in last commit
---
src/lib/CoAlgMisc.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index 504a030..ed0d2de 100644
--- a/src/lib/CoAlgMisc.ml
+++ b/src/lib/CoAlgMisc.ml
@@ -891,8 +891,8 @@ let rec detClosure vars nomTbl hcF fset vset atset nomset s f =
raise (C.CoAlgException ("Invalid sort (i.e. sort out of range): " ^ sstr))
else ();
if C.HcFHt.mem vset.(s) f &&
- (compare (C.HcFHt.find vset.(s) f) deferral = 0) ||
- compare deferral "ε" = 0)
+ (compare (C.HcFHt.find vset.(s) f) deferral = 0 ||
+ compare deferral "ε" = 0)
then ()
else
let () = C.HcFHt.add vset.(s) f deferral in
--
GitLab