minor syntax fix BooleanInstrumenter

zafer-esen · Mar 2, 2024 · 818639a · 818639a
1 parent 4ec2d78
commit 818639a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/...bs/horn/extendedquantifiers/instrumentationoperators/BooleanInstrumentationOperator.scala b/...bs/horn/extendedquantifiers/instrumentationoperators/BooleanInstrumentationOperator.scala
@@ -260,7 +260,7 @@ class BooleanInstrumentationOperator(exq : ExtendedQuantifierWithPredicate)
               pred(o, i, alienSubstMap)) &
             newLo === oldLo & newHi === oldHi
           case _ =>
-            storeEmptySeq)
+            storeEmptySeq
         }
         val storeOutside = storeEmptySeq