diff --git a/examples/logic/einstein/why3session.xml b/examples/logic/einstein/why3session.xml
index e1fec3eb986b2308d88bb1961b0ae0c2692e2419..ee05934610eed75b8e5598ba2ec7c6908e089aaf 100644
--- a/examples/logic/einstein/why3session.xml
+++ b/examples/logic/einstein/why3session.xml
@@ -14,10 +14,10 @@
-
+
@@ -36,10 +36,10 @@
-
+
@@ -54,10 +54,10 @@
-
+
@@ -72,10 +72,10 @@
-
+