From 8fa7c4e839c5e6121e9771ad9a629ba8ba5ed433 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 19 Aug 2004 14:52:17 +0000
Subject: [PATCH] - Fixed bug in printing. - Algorithm should work again.

---
 src/arachne.c | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/arachne.c b/src/arachne.c
index a4973d9..8a10e3d 100644
--- a/src/arachne.c
+++ b/src/arachne.c
@@ -343,7 +343,7 @@ proof_suppose_run (const int run, const int oldlength, const int newlength)
 	    eprintf (" of");
 	  else
 	    eprintf (" to");
-	  eprintf (" length %i");
+	  eprintf (" length %i", newlength);
 	}
       eprintf ("\n");
     }
@@ -825,8 +825,8 @@ bind_goal_new_encrypt (const Binding b)
 	  can_be_encrypted = 1;
 	  run = semiRunCreate (INTRUDER, I_RRS);
 	  rd = sys->runs[run].start;
-	  //rd->message = termDuplicateUV (t1);
-	  //rd->next->message = termDuplicateUV (t2);
+	  rd->message = termDuplicateUV (t1);
+	  rd->next->message = termDuplicateUV (t2);
 	  rd->next->next->message = termDuplicateUV (term);
 	  index = 2;
 	  proof_suppose_run (run, 0, index + 1);