From e28c494a18b3b31859b637295a1a4e9450785129 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 22 Nov 2006 15:15:12 +0000
Subject: [PATCH] - Changes to --max-attacks switch semantics. Maybe it should
 even be called max-patterns.

---
 Changes.txt    | 7 +++++++
 src/switches.c | 2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)
 create mode 100644 Changes.txt

diff --git a/Changes.txt b/Changes.txt
new file mode 100644
index 0000000..99eb42a
--- /dev/null
+++ b/Changes.txt
@@ -0,0 +1,7 @@
+Recent changes (since beta 4):
+
+- --max-attacks is now per claim, and no longer global.
+
+
+
+  
diff --git a/src/switches.c b/src/switches.c
index 3e095a9..e29cb7c 100644
--- a/src/switches.c
+++ b/src/switches.c
@@ -746,7 +746,7 @@ switcher (const int process, int index, int commandline)
       if (!process)
 	{
 	  /* not very important
-	     helptext ("    --max-attacks=<int>", "when not 0, maximum number of attacks [0]");
+	     helptext ("    --max-attacks=<int>", "when not 0, maximum number of attacks/states per claim [0]");
 	   */
 	}
       else