Commit 2a253b47 authored by André Pacak's avatar André Pacak

convert sorts in output of conclusion if not adt

parent aa09a80a
......@@ -464,7 +464,7 @@
<node concept="bFJCQ" id="2U2uJPq7RtP" role="27Pwov">
<ref role="3zVwH8" to="5va7:1Da9ityUTfl" resolve="ty" />
<node concept="1FvUUU" id="2U2uJPq7RtQ" role="bFJCb">
<property role="TrG5h" value="ty_" />
<property role="TrG5h" value="ty" />
</node>
</node>
</node>
......@@ -1239,7 +1239,7 @@
<node concept="bFJCQ" id="6OMXo1T_mhh" role="27Pwov">
<ref role="3zVwH8" to="5va7:2_58u12slbe" resolve="type" />
<node concept="1FvUUU" id="6OMXo1T_mhz" role="bFJCb">
<property role="TrG5h" value="ty" />
<property role="TrG5h" value="ty2" />
</node>
</node>
<node concept="bFJCQ" id="6OMXo1T_mhA" role="27Pwov">
......
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