Fixed all /*@i...@*/ tags (except 1).

[splint.git] / src / cttable.i

diff --git a/src/cttable.i b/src/cttable.i
index 585daf8fab2513638ab90f83a88d80a4db739b1d..7613cb633570d79ff5f282db3471fb294f86f48d 100644 (file)
--- a/src/cttable.i
+++ b/src/cttable.i
@@ -541,7 +541,7 @@ cttable_addComplex (/*@only@*/ ctbase cnew)
          
          ctb = ctype_getCtbase (i);
          
-         /*@i32 is this optimization really worthwhile??? */
+         /* is this optimization really worthwhile? */
 
          if (ctbase_isDefined (ctb) && ctbase_equivStrict (cnew, ctb))
            {