Commit 0c9795cf authored by MARCHE Claude's avatar MARCHE Claude

"Clean" was cleaning too much

parent f9a2b437
* marks an incompatible change * marks an incompatible change
o [IDE] "Clean" was cleaning too much
* no more executable why3ml (why3 now handles WhyML files) * no more executable why3ml (why3 now handles WhyML files)
o [Provers] support for Z3 4.0 o [Provers] support for Z3 4.0
o [Sessions] a small change in the format. Why3 is still able to o [Sessions] a small change in the format. Why3 is still able to
......
...@@ -959,8 +959,11 @@ let rec clean = function ...@@ -959,8 +959,11 @@ let rec clean = function
iter_goal iter_goal
(fun _ -> ()) (fun _ -> ())
(fun t -> (fun t ->
if not t.transf_verified then remove_transformation t (* NO !!!
else transf_iter clean t) if not t.transf_verified then remove_transformation t
else
*)
transf_iter clean t)
(fun m -> (fun m ->
if not m.metas_verified then remove_metas m if not m.metas_verified then remove_metas m
else metas_iter clean m) else metas_iter clean m)
......
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