diff --git a/prot-D.spthy b/prot-D.spthy
index 94c32aff886b5ed73401fe701db5a662282993d9..b7b9a05511eba798cc718faccec1925829577fdd 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