Fix Doxygen comment.

* src/InadequacyList.h: s#</t>#</tt>#.

diff --git a/src/InadequacyList.h b/src/InadequacyList.h
index d8120dda86bf1a021b305730be4d412f4d085b0a..0d00c5cb932b27a1676e853cc4d6f99bca7e6cbf 100644 (file)
--- 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