Chalice: another invalid use of etran instead of this

1 files changed, 1 insertions, 1 deletions

diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala
index aebf0124..3d670d51 100644
--- a/Chalice/src/main/scala/Translator.scala
+++ b/Chalice/src/main/scala/Translator.scala
@@ -1799,7 +1799,7 @@ class ExpressionTranslator(val globals: Globals, preGlobals: Globals, val fpi: F
     case Contains(e0, e1) => SeqContains(trrecursive(e1), trrecursive(e0))

     case Eval(h, e) =>

       val (evalHeap, evalMask, evalSecMask, evalCredits, checks, assumptions) = fromEvalState(h);

-      val evalEtran = new ExpressionTranslator(Globals(evalHeap, evalMask, evalSecMask, evalCredits), etran.oldEtran.globals, currentClass);

+      val evalEtran = new ExpressionTranslator(Globals(evalHeap, evalMask, evalSecMask, evalCredits), oldEtran.globals, currentClass);

       trrec(e, evalEtran)

     case _:SeqQuantification => throw new InternalErrorException("should be desugared")

     case tq @ TypeQuantification(Forall, _, _, e, _) =>