From af42e4071c9d3b4a1ebbef643f7fe70b23b76494 Mon Sep 17 00:00:00 2001 From: NeilKleistGao Date: Sun, 1 Dec 2024 22:41:15 +0800 Subject: [PATCH] Minor --- hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala b/hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala index 944219623..c7addf8bd 100644 --- a/hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala +++ b/hkmc2/shared/src/main/scala/hkmc2/codegen/Lowering.scala @@ -44,7 +44,7 @@ import Subst.subst class Lowering(using TL, Raise, Elaborator.State): - + def returnedTerm(t: st)(using Subst): Block = term(t)(Ret) def term(t: st)(k: Result => Block)(using Subst): Block =