Commit 9fbcb5fc authored by Andrei Paskevich's avatar Andrei Paskevich
Browse files

bugfix in gmain.ml

also there is smth strange with splitting in sparse_array.WP_create
parent b6d81e15
......@@ -548,7 +548,7 @@ let build_subtree g row name abort_cond subgoals =
Model.external_proofs = Hashtbl.create 7;
Model.transformations = [];
Model.proved = false; } in
goal, Model.Row_goal g) in
goal, Model.Row_goal goal) in
(goal :: acc, count+1))
([],1) subgoals
in
......
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