Minor

hkust-taco · Dec 1, 2024 · af42e40 · af42e40
1 parent a683de6
commit af42e40
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 =