diff --git a/src/lib/CoAlgMisc.ml b/src/lib/CoAlgMisc.ml
index 504a0301b718200ade206d2334f3a9e7ca8c97b8..ed0d2dec09b06b3199dbf3d71ecc2b5c6cf44f5b 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