From ebada478c6b1ba0223231df22a26636eca6ede65 Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Fri, 1 Feb 2019 14:17:57 +0100
Subject: [PATCH] Replace error annotation with suppress error annotation to
 indicate an expected constraint violation.

---
 .../models/samples.lambdacalc.demo.mps                      | 6 +++---
 1 file changed, 3 insertions(+), 3 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 190f4d32..74000a44 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
@@ -1293,9 +1293,6 @@
                 </node>
                 <node concept="t0$VC" id="3TFdEPZheq9" role="1DVIo8">
                   <ref role="t0$VJ" node="2jleysRX4dp" resolve="x" />
-                  <node concept="1U20sH" id="1Lr58WG9UYh" role="lGtFl">
-                    <property role="1U20sK" value="error" />
-                  </node>
                 </node>
               </node>
               <node concept="1DVIoH" id="2jleysRX4dp" role="1DVIrJ">
@@ -1308,6 +1305,9 @@
           </node>
         </node>
       </node>
+      <node concept="15s5l7" id="5NV6AIIt152" role="lGtFl">
+        <property role="1eyWvh" value="FLAVOUR_ISSUE_KIND=&quot;reference scopes (reference scopes)&quot;;FLAVOUR_MESSAGE=&quot;reference x (def) is out of search scope&quot;;FLAVOUR_NODE_FEATURE=&quot;def&quot;;FLAVOUR_RULE_ID=&quot;[r:49af371c-e432-4e5a-a3df-e689ebe20a8d(samples.lambdacalc.constraints)/8747055848970356303]&quot;;" />
+      </node>
     </node>
     <node concept="1DVJbV" id="1YCbHn1AbJG" role="1DVIru">
       <node concept="1DVIrG" id="1YCbHn1AbJI" role="j9CMd">