Lambda-Mountain-Compiler-Backend
diff --git a/‎tests/promises/lm-typecheck/tc-misc-1-target.lsts.skip‎ b/‎tests/promises/lm-typecheck/tc-misc-1-target.lsts.skip‎
diff --git a/‎tests/promises/lm-typecheck/tc-misc-2-target.lsts.skip‎ b/‎tests/promises/lm-typecheck/tc-misc-2-target.lsts.skip‎