From 7411f899768823692d865d11d1b3f47327060a82 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Sun, 13 Jun 2004 20:58:54 +0000
Subject: [PATCH] - Fixed two Doxygen warnings.

---
 src/knowledge.c | 3 +--
 src/runs.c      | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/knowledge.c b/src/knowledge.c
index d85f6cf..5449985 100644
--- a/src/knowledge.c
+++ b/src/knowledge.c
@@ -195,8 +195,7 @@ knowledgeAddTerm (Knowledge know, Term term)
 //! Try to simplify knowledge based on a term.
 /**
  *@param know A knowledge set.
- *@param term A key, i.e. it can decrypt
-	anything that was encrypted with term^{-1}.
+ *@param key A key, i.e. it can decrypt anything that was encrypted with term^{-1}.
  */
 void
 knowledgeSimplify (Knowledge know, Term key)
diff --git a/src/runs.c b/src/runs.c
index 40a1c21..f2088d1 100644
--- a/src/runs.c
+++ b/src/runs.c
@@ -93,7 +93,7 @@ systemInit ()
 
 //! Reset a system state after some exploration.
 /**
- *@param A system structure pointer.
+ *@param sys A system structure pointer.
  *@return Counter values have been reset.
  */
 void