Remove unused method that accesses interpreter internals

epfl-lara · Sep 17, 2024 · 8a06ca2 · 8a06ca2
1 parent c5f05e0
commit 8a06ca2
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
@@ -72,13 +72,6 @@ trait SMTLIBTarget extends SMTLIBParser with Interruptible with ADTManagers {
     }
   }
 
-  def parseSuccess() = {
-    val res = interpreter.parser.parseGenResponse
-    if (res != Success) {
-      reporter.warning("Unnexpected result from " + targetName + ": " + res + " expected success")
-    }
-  }
-
   /*
    * Translation from Inox Expressions to SMTLIB terms and reverse
    */