From 544b863511c3cb996d05ccabdbf6be92b36c9b68 Mon Sep 17 00:00:00 2001
From: Tim Landscheidt <tim@tim-landscheidt.de>
Date: Tue, 27 Mar 2012 19:40:36 +0000
Subject: [PATCH] Fix Doxygen comment.

* src/InadequacyList.h: s#</t>#</tt>#.
---
 src/InadequacyList.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/InadequacyList.h b/src/InadequacyList.h
index d8120dda..0d00c5cb 100644
--- a/src/InadequacyList.h
+++ b/src/InadequacyList.h
@@ -90,7 +90,7 @@ typedef struct InadequacyList {
  *     <tt>manifesting_state->reductions->num + 1</tt>.
  *   - If the set of all \c InadequacyList nodes with which the new
  *     \c InadequacyList node might be compared is currently empty, then
- *     it is best if <tt>*node_count</t> is zero so that the node count
+ *     it is best if <tt>*node_count</tt> is zero so that the node count
  *     does not eventually overflow.  However, if that set is not
  *     currently empty, then <tt>*node_count</tt> has not been modified
  *     by any function except \c InadequacyList__new_conflict since the
-- 
2.45.2