X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/e5081f8c08424e4511d50a3b1fc187666c95852c..16c024b587f5ddc115928d5cca7095508aa208d9:/src/loopHeuristics.c

diff --git a/src/loopHeuristics.c b/src/loopHeuristics.c
index a0c857a..3d926af 100644
--- a/src/loopHeuristics.c
+++ b/src/loopHeuristics.c
@@ -155,7 +155,7 @@ static bool canGetForTimes (/*@notnull@*/ exprNode forPred, /*@notnull@*/ exprNo
     }
   
   tok = (exprData_getUopTok (inc->edata));
-  if (lltok_isInc_Op (tok) )
+  if (lltok_isIncOp (tok) )
       {
 	t1 = exprData_getUopNode (test->edata);
 	t2 = exprData_getUopNode (inc->edata);
@@ -293,7 +293,7 @@ static /*@only@*/ constraintExpr getForTimes (/*@notnull@*/ exprNode forPred, /*
     }
   
   tok = (exprData_getUopTok (inc->edata));
-  if (lltok_isInc_Op (tok) )
+  if (lltok_isIncOp (tok) )
       {
 	t1 = exprData_getUopNode (test->edata);
 	t2 = exprData_getUopNode (inc->edata);