From 9c05d2ac3ae409e8655e450b065e1f77a1d24af6 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 2 Mar 2005 15:21:55 +0000
Subject: [PATCH] - Fixed outputting the command string. Broken bij the
 previous work.

---
 test/multiprotocoltest.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/multiprotocoltest.py b/test/multiprotocoltest.py
index 7762fe8..96e98ad 100755
--- a/test/multiprotocoltest.py
+++ b/test/multiprotocoltest.py
@@ -48,7 +48,7 @@ ScytherBounds	= "--timer=5 --max-runs=5 --max-length=20"
 
 # Build a large part of the command line (for Scyther) already
 ScytherArgs = ScytherDefaults + " " + ScytherMethods + " " + ScytherBounds
-CommandPrefix = "scyther "
+CommandPrefix = "scyther " + ScytherArgs
 
 # Some default settings for Agents, untrusted e with sk(e) and k(a,e) etc.
 IncludeProtocols = '../spdl/spdl-defaults.inc'