owiejf

viperproject · Nov 7, 2023 · c94d1c7 · c94d1c7
1 parent f3e0b57
commit c94d1c7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/rules/Evaluator.scala b/src/main/scala/rules/Evaluator.scala
@@ -93,7 +93,7 @@ object evaluator extends EvaluationRules {
     (s1, t1, v1)
   }
 
-  def eval3(s: State, e: ast.Exp, pve: PartialVerificationError, v: Verifier) : (State, Term, Verifier) = {
+  def eval3(s: State, e: ast.Exp, pve: PartialVerificationError, v: Verifier) : Either[(State, Term, Verifier), VerificationResult] = {
 
 
     /* For debugging only */