diff --git a/src/main/scala/lazabs/horn/extendedquantifiers/instrumentationoperators/BooleanInstrumentationOperator.scala b/src/main/scala/lazabs/horn/extendedquantifiers/instrumentationoperators/BooleanInstrumentationOperator.scala
index 3370fd97..80f9e469 100644
--- a/src/main/scala/lazabs/horn/extendedquantifiers/instrumentationoperators/BooleanInstrumentationOperator.scala
+++ b/src/main/scala/lazabs/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