From 3fba68b2404d272024a10829859731eec4b49528 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 12 May 2005 11:59:31 +0000
Subject: [PATCH] - Whoops, stupid sloppy switch code rewriters ought to be
 punished.

---
 src/system.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/system.c b/src/system.c
index 4e33c28..45ebe77 100644
--- a/src/system.c
+++ b/src/system.c
@@ -95,6 +95,7 @@ systemInit ()
   sys->secrets = NULL;		// list of claimed secrets
   sys->synchronising_labels = NULL;
   sys->attack = NULL;
+  sys->prune = 2;		// default pruning method
   /* no protocols => no protocol preprocessed */
   sys->rolecount = 0;
   sys->roleeventmax = 0;