Commit 945ca6d4 authored by Sylvain Dailler's avatar Sylvain Dailler

corrected xml attributes.

parent 1fc10719
......@@ -1553,7 +1553,7 @@ let save_proof_attempt fmt ((id,tl,sl,ml),a) =
(save_int_def "steplimit" sl) (a.limit.Call_provers.limit_steps)
(save_int_def "memlimit" ml) (a.limit.Call_provers.limit_mem)
(save_bool_def "obsolete" false) a.proof_obsolete
(save_option_def "proof_script") a.proof_script;
(save_option_def "edited") a.proof_script;
save_status fmt a.proof_state;
fprintf fmt "</proof>@]"
......
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