Fix problems in nightly bench

539b98a1 · MARCHE Claude · c20f5d7c · 539b98a1 · 539b98a1
Commit 539b98a1 authored May 26, 2012 by MARCHE Claude
--- a/examples/bitvectors/double_of_int/why3session.xml
+++ b/examples/bitvectors/double_of_int/why3session.xml
--- a/examples/check-builtin/euclideandivision/why3session.xml
+++ b/examples/check-builtin/euclideandivision/why3session.xml
@@ -68,7 +68,6 @@
     prover="0"
     timelimit="3"
     memlimit="1000"
-     edited="euclideandivision-Test-G1_1.why"
     obsolete="false"
     archived="false">
     <result status="valid" time="0.01"/>