Revert "Add type declarations"

This reverts commit bb3d729.
uuverifiers · Nov 6, 2024 · 80ea71c · 80ea71c
1 parent 0f3b0cb
commit 80ea71c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/main/scala/lazabs/horn/symex/ConstraintSimplifier.scala b/src/main/scala/lazabs/horn/symex/ConstraintSimplifier.scala
@@ -54,14 +54,14 @@ trait ConstraintSimplifierUsingConjunctEliminator extends ConstraintSimplifier {
                               order:        TermOrder)
       extends ConjunctEliminator(constraint, localSymbols, Set(), order) {
 
-    override protected def nonUniversalElimination(f: Conjunction): Unit = {}
+    override protected def nonUniversalElimination(f: Conjunction) = {}
 
     // todo: check if this eliminates function applications
     //   e.g., unused select and stores
 
     protected def universalElimination(m: ModelElement): Unit = {}
 
-    override protected def addDivisibility(f: Conjunction): Unit = {}
+    override protected def addDivisibility(f: Conjunction) = {}
 
     override protected def isEliminationCandidate(t: Term): Boolean =
       localSymbols contains t