- Whoops, stupid sloppy switch code rewriters ought to be punished.
This commit is contained in:
parent
2e4c5afeb7
commit
3fba68b240
@ -95,6 +95,7 @@ systemInit ()
|
|||||||
sys->secrets = NULL; // list of claimed secrets
|
sys->secrets = NULL; // list of claimed secrets
|
||||||
sys->synchronising_labels = NULL;
|
sys->synchronising_labels = NULL;
|
||||||
sys->attack = NULL;
|
sys->attack = NULL;
|
||||||
|
sys->prune = 2; // default pruning method
|
||||||
/* no protocols => no protocol preprocessed */
|
/* no protocols => no protocol preprocessed */
|
||||||
sys->rolecount = 0;
|
sys->rolecount = 0;
|
||||||
sys->roleeventmax = 0;
|
sys->roleeventmax = 0;
|
||||||
|
Loading…
Reference in New Issue
Block a user