natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix handler activating constraints declared elsewhere.

This commit is contained in:
Fedor Isakov 2018-07-21 11:39:33 +02:00
parent ea9919f38a
commit 6e00dcd58c
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
samples/fitch/languages/jetbrains.mps.logic.herbrand/models/types.mps
View File

@ -317,6 +317,7 @@
<child id="6691972578451986151" name="input" index="2t_VXX" />
</concept>
<concept id="8335224865066015764" name="jetbrains.mps.lang.coderules.structure.Handler" flags="ng" index="AVZre">
<reference id="3541122455446356437" name="extends" index="2YbDB9" />
<child id="3575255234175157601" name="template" index="1nK1Vg" />
</concept>
<concept id="7670825977262541651" name="jetbrains.mps.lang.coderules.structure.MacroInputReference" flags="ng" index="3eTFj6">
@ -1054,6 +1055,7 @@
</node>
<node concept="AVZre" id="Vo$tzLEGty">
<property role="TrG5h" value="Reasoning" />
<ref role="2YbDB9" to="6r1k:5RfK0kxl_zr" resolve="PropReasoning" />
<node concept="1nLNMY" id="6$MtiK8H0qt" role="1nK1Vg">
<property role="TrG5h" value="forallIntro" />
<node concept="3clFbS" id="6$MtiK8H0qu" role="1nLNMH">