update sessions after gappa upgrade to 0.16.1

48a6a41e · MARCHE Claude · fa2d5a64 · 48a6a41e · 48a6a41e · 48a6a41e
Commit 48a6a41e authored Oct 23, 2012 by MARCHE Claude
12 changed files
--- a/examples/bitvectors/double_of_int/why3session.xml
+++ b/examples/bitvectors/double_of_int/why3session.xml
--- a/examples/bitvectors/power2/why3session.xml
+++ b/examples/bitvectors/power2/why3session.xml
--- a/examples/bts/12475/why3session.xml
+++ b/examples/bts/12475/why3session.xml
--- a/examples/check-builtin/floats/why3session.xml
+++ b/examples/check-builtin/floats/why3session.xml
--- a/examples/check-builtin/intreal/why3session.xml
+++ b/examples/check-builtin/intreal/why3session.xml
--- a/examples/check-builtin/real/why3session.xml
+++ b/examples/check-builtin/real/why3session.xml
--- a/examples/my_cosine/why3session.xml
+++ b/examples/my_cosine/why3session.xml
--- a/examples/ns_clone/why3session.xml
+++ b/examples/ns_clone/why3session.xml
--- a/examples/programs/isqrt/why3session.xml
+++ b/examples/programs/isqrt/why3session.xml
--- a/examples/programs/my_cosine/why3session.xml
+++ b/examples/programs/my_cosine/why3session.xml
--- a/examples/tests-provers/gappa/why3session.xml
+++ b/examples/tests-provers/gappa/why3session.xml
--- a/src/ide/replay.ml
+++ b/src/ide/replay.ml
@@ -325,7 +325,7 @@ session NOT updated)@." n m
          printf " %d/%d@." n m ;
        if !opt_stats && n<m then print_statistics files;
        if !opt_verbose then eprintf "Everything replayed OK.@.";
-        if found_obs && (n=m || !opt_force) then
+        if (found_obs && n=m) || !opt_force then
          begin
            if !opt_verbose then eprintf "Saving session...@?";
            S.save_session config session;