From 4338ee2a50500abc235deaa69f1af55f8a81c25a Mon Sep 17 00:00:00 2001
From: Fedor Isakov <fisakov@gmail.com>
Date: Thu, 9 Mar 2017 17:38:20 +0100
Subject: [PATCH] Sample fix operator.

---
 .../models/sample/demo/fooblah.mps            | 31 +++++++++++++++++++
 1 file changed, 31 insertions(+)

diff --git a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
index 8534a2e8..1086f985 100644
--- a/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
+++ b/samples/lambdacalc/solutions/sample.demo/models/sample/demo/fooblah.mps
@@ -523,5 +523,36 @@
       </node>
     </node>
   </node>
+  <node concept="1DVIrt" id="G788z3ofcS">
+    <property role="TrG5h" value="Fix" />
+    <node concept="1DVJbV" id="G788z3o8j0" role="1DVIru">
+      <node concept="1DVIo5" id="G788z3o8jt" role="1DVJbU">
+        <node concept="1DVIoH" id="G788z3o8j2" role="1DVIo4">
+          <property role="TrG5h" value="fix" />
+        </node>
+        <node concept="1DVIoH" id="G788z3o8js" role="1DVIo8">
+          <property role="TrG5h" value="f" />
+        </node>
+      </node>
+      <node concept="1DVIrH" id="G788z3o8jC" role="1DVJb$">
+        <node concept="1DVIrG" id="G788z3o8jE" role="1DVIrE">
+          <node concept="1DVIo5" id="G788z3o8jY" role="1DVIrD">
+            <node concept="1DVIoH" id="G788z3o8jT" role="1DVIo4">
+              <property role="TrG5h" value="f" />
+            </node>
+            <node concept="1DVIoH" id="G788z3o8jX" role="1DVIo8">
+              <property role="TrG5h" value="x" />
+            </node>
+          </node>
+          <node concept="1DVIoH" id="G788z3oZXm" role="1DVIrJ">
+            <property role="TrG5h" value="x" />
+          </node>
+        </node>
+        <node concept="1DVIoH" id="G788z3o8k9" role="1DVIrk">
+          <property role="TrG5h" value="x" />
+        </node>
+      </node>
+    </node>
+  </node>
 </model>