From caac466a68b6b0579de6761c0647793017da64a2 Mon Sep 17 00:00:00 2001
From: Johannes Wilson <johannes.wilson@liu.se>
Date: Tue, 2 May 2023 12:41:56 +0000
Subject: [PATCH] fix outdated summary

---
 prot-D.spthy | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/prot-D.spthy b/prot-D.spthy
index 94c32af..b7b9a05 100644
--- a/prot-D.spthy
+++ b/prot-D.spthy
@@ -1,4 +1,3 @@
-
 theory protD
 begin
 
@@ -67,11 +66,11 @@ summary of summaries:
 
 analyzed: prot-D.spthy
 
-  runnable (exists-trace): verified (5 steps)
-  not_ow_i_agree (exists-trace): verified (8 steps)
+  runnable (exists-trace): verified (4 steps)
+  not_ow_i_agree (exists-trace): verified (7 steps)
   ni_agree (all-traces): verified (5 steps)
 
 ==============================================================================
 */
 
-end
\ No newline at end of file
+end
-- 
GitLab