From f37626051239ec6416ad739f7e2ca1d25c3e15ec Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 22 Feb 2006 15:57:55 +0000
Subject: [PATCH] - Changed default heuristic to 34.

---
 src/switches.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/switches.c b/src/switches.c
index 9d51bfe..51cfcf8 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -65,7 +65,7 @@ switchesInit (int argc, char **argv)
   switches.scenarioSize = 0;
 
   // Arachne
-  switches.arachneSelector = 3;	// default goal selection method
+  switches.arachneSelector = 34;	// default goal selection method
   switches.maxIntruderActions = INT_MAX;	// max number of encrypt/decrypt events
   switches.agentTypecheck = 1;	// default do check agent types
   switches.concrete = true;	// default removes symbols, and makes traces concrete
@@ -830,7 +830,7 @@ switcher (const int process, int index, int commandline)
 	{
 	  if (switches.expert)
 	    {
-	      helptext ("    --heuristic=<int>", "use heuristic <int> [3]");
+	      helptext ("    --heuristic=<int>", "use heuristic <int> [34]");
 	    }
 	}
       else