diff --git a/effekt/shared/src/main/scala/effekt/core/Transformer.scala b/effekt/shared/src/main/scala/effekt/core/Transformer.scala index f56064b43..d8b0032f6 100644 --- a/effekt/shared/src/main/scala/effekt/core/Transformer.scala +++ b/effekt/shared/src/main/scala/effekt/core/Transformer.scala @@ -431,8 +431,6 @@ object Transformer extends Phase[Typechecked, CoreTransformed] { case source.TryHandle(prog, handlers, _) => - val transformedProg = transform(prog) - val answerType = transform(Context.inferredTypeOf(prog)) // create a fresh prompt, a variable referring to it, and a parameter binding it