From 7f7f290b01a52353fba9fbd69747e570ecbdb707 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Sun, 13 Jan 2019 15:09:22 +0100 Subject: [PATCH] Temporarily comment out two instances of let clause that produced errors in tests --- .../models/samples.lambdacalc.demo.mps | 302 +++++++++--------- 1 file changed, 155 insertions(+), 147 deletions(-) diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps index 911b025b..63f695a3 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.demo/models/samples.lambdacalc.demo.mps @@ -1902,62 +1902,66 @@ - - - - - - - - - - - - - - - - - - - - + + + + + + + - - - - - - - - - - - - - - - + + + + + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - - - + + + + + + + + - - + + - - - @@ -3577,131 +3581,135 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + - - - - - - + + + + + - - - - - - - - - - + + + + + + + + + + - - + + - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + - - - - - - - - - - + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + - - - + + +