Commit 17a4fec8 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

fix session for stdlib/tagset

parent 03f9cb74
......@@ -34,9 +34,9 @@
<proof prover="1"><result status="valid" time="0.11"/></proof>
<goal name="VC max_tags" expl="VC for max_tags" proved="true">
<proof prover="0" obsolete="true"><result status="timeout" time="1.00"/></proof>
<proof prover="0"><result status="valid" time="0.04" steps="159"/></proof>
<proof prover="1"><result status="valid" time="0.09"/></proof>
<proof prover="2" obsolete="true"><result status="timeout" time="1.00"/></proof>
<proof prover="2"><result status="valid" time="0.03"/></proof>
<goal name="VC resize" expl="VC for resize" proved="true">
<transf name="split_vc" proved="true" >
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