From 8a06ca246a656e01259c43835bac9420b5ea8cb2 Mon Sep 17 00:00:00 2001
From: Sankalp Gambhir <sankalp.gambhir42@gmail.com>
Date: Tue, 17 Sep 2024 14:18:05 +0200
Subject: [PATCH] Remove unused method that accesses interpreter internals

---
 src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala b/src/main/scala/inox/solvers/smtlib/SMTLIBTarget.scala
index db14042be..e0e09f4c4 100644
--- 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
    */