Commit bbb8f44b authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Removed assertions about size of shape.

In this case shape can be empty when a detached node is created by the
modification of a transformation.
parent 24de6436
......@@ -1855,7 +1855,6 @@ let rec save_goal s ctxt fmt pnid =
(save_bool_def "proved" false) (pn_proved s pnid);
let sum = Termcode.string_of_checksum pn.proofn_checksum in
let shape = Termcode.string_of_shape pn.proofn_shape in
assert (shape <> "");
Compress.Compress_z.output_string ctxt.ch_shapes sum;
Compress.Compress_z.output_char ctxt.ch_shapes ' ';
Compress.Compress_z.output_string ctxt.ch_shapes shape;
......
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