diff --git a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps index b1012cfd..73519797 100644 --- a/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps +++ b/samples/lambdacalc/languages/samples.lambdacalc/models/constraints.mps @@ -132,6 +132,7 @@ + @@ -140,10 +141,12 @@ + + @@ -1141,6 +1144,22 @@ + + + + + + + + + + + + + + + +