Commit 91b4adfd authored by André Pacak's avatar André Pacak
Browse files

fix PCF spec and fix generation of IncA code for notjudgments

parent a2b843b7
......@@ -3481,7 +3481,7 @@
<node concept="3cpWs6" id="3z5cDLNfFH4" role="3cqZAp">
<node concept="2pJPEk" id="3z5cDLNfFx7" role="3cqZAk">
<node concept="2pJPED" id="3z5cDLNfF$7" role="2pJPEn">
<ref role="2pJxaS" to="ebqt:52HBLukNm6H" resolve="Equality" />
<ref role="2pJxaS" to="ebqt:52HBLukNmct" resolve="Inequality" />
<node concept="2pIpSj" id="3z5cDLNfF$P" role="2pJxcM">
<ref role="2pIpSl" to="ebqt:52HBLukNl30" resolve="left" />
<node concept="36biLy" id="3z5cDLNfNkf" role="2pJxcZ">
......@@ -3549,7 +3549,7 @@
<node concept="3cpWs6" id="3z5cDLN_q7G" role="3cqZAp">
<node concept="2pJPEk" id="3z5cDLN_q7H" role="3cqZAk">
<node concept="2pJPED" id="3z5cDLN_q7I" role="2pJPEn">
<ref role="2pJxaS" to="ebqt:52HBLukNmct" resolve="Inequality" />
<ref role="2pJxaS" to="ebqt:52HBLukNm6H" resolve="Equality" />
<node concept="2pIpSj" id="3z5cDLN_q7J" role="2pJxcM">
<ref role="2pIpSl" to="ebqt:52HBLukNl30" resolve="left" />
<node concept="36biLy" id="3z5cDLN_q7K" role="2pJxcZ">
......@@ -270,19 +270,9 @@
</concept>
</language>
<language id="ceab5195-25ea-4f22-9b92-103b95ca8c0c" name="jetbrains.mps.lang.core">
<concept id="1133920641626" name="jetbrains.mps.lang.core.structure.BaseConcept" flags="ng" index="2VYdi">
<child id="5169995583184591170" name="smodelAttribute" index="lGtFl" />
</concept>
<concept id="1169194658468" name="jetbrains.mps.lang.core.structure.INamedConcept" flags="ng" index="TrEIO">
<property id="1169194664001" name="name" index="TrG5h" />
</concept>
<concept id="709746936026466394" name="jetbrains.mps.lang.core.structure.ChildAttribute" flags="ng" index="3VBwX9">
<property id="709746936026609031" name="linkId" index="3V$3ak" />
<property id="709746936026609029" name="role_DebugInfo" index="3V$3am" />
</concept>
<concept id="4452961908202556907" name="jetbrains.mps.lang.core.structure.BaseCommentAttribute" flags="ng" index="1X3_iC">
<child id="3078666699043039389" name="commentedNode" index="8Wnug" />
</concept>
</language>
<language id="83888646-71ce-4f1c-9c53-c54016f6ad4f" name="jetbrains.mps.baseLanguage.collections">
<concept id="1204796164442" name="jetbrains.mps.baseLanguage.collections.structure.InternalSequenceOperation" flags="nn" index="23sCx2">
......@@ -683,13 +673,9 @@
</node>
</node>
<node concept="3clFbS" id="6OMXo1Tl2dt" role="TDEfX">
<node concept="1X3_iC" id="6OMXo1VAm3V" role="lGtFl">
<property role="3V$3am" value="statement" />
<property role="3V$3ak" value="f3061a53-9226-4cc5-a443-f952ceaf5816/1068580123136/1068581517665" />
<node concept="YS8fn" id="6OMXo1VvXlA" role="8Wnug">
<node concept="37vLTw" id="6OMXo1VvXlE" role="YScLw">
<ref role="3cqZAo" node="6OMXo1Tl2dp" resolve="ex" />
</node>
<node concept="YS8fn" id="6OMXo1VvXlA" role="3cqZAp">
<node concept="37vLTw" id="6OMXo1VvXlE" role="YScLw">
<ref role="3cqZAo" node="6OMXo1Tl2dp" resolve="ex" />
</node>
</node>
</node>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment