X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a779b61ede06125b00b12afe408f1ef829720862..15b3d2b27a3dce7a3b65e88fb0d1732e235117f4:/src/constraintResolve.c

diff --git a/src/constraintResolve.c b/src/constraintResolve.c
index ba0e28b..a79c3ff 100644
--- a/src/constraintResolve.c
+++ b/src/constraintResolve.c
@@ -716,8 +716,8 @@ static bool arithType_canResolve (arithType ar1, arithType ar2)
 bool constraint_isAlwaysTrue (/*@observer@*/ /*@temp@*/ constraint c)
 {
   constraintExpr l, r;
-  bool /*@unused@*/ lHasConstant, rHasConstant;
-  int /*@unused@*/ lConstant, rConstant;
+  bool rHasConstant;
+  int rConstant;
   
   l = c->lexpr;
   r = c->expr;