o Make lltok an abstract type, a pointer to structure instead of a plain

[splint.git] / src / constraint.c

diff --git a/src/constraint.c b/src/constraint.c
index e62b55b8688ea20cfbc7b2d8558188321e5b9044..cb87d1025e6e0550d5eb06a81a7f2c6e60df90bf 100644 (file)
--- a/src/constraint.c
+++ b/src/constraint.c
@@ -121,14 +121,20 @@ constraint makeConstraintParse3 (constraintExpr l, lltok relOp, constraintExpr r
     
   ret->lexpr = constraintExpr_copy (l);
 
-  if (relOp.tok == GE_OP)
+  if (lltok_getTok (relOp) == GE_OP)
+    {
       ret->ar = GTE;
-  else if (relOp.tok == LE_OP)
-    ret->ar = LTE;
-  else if (relOp.tok == EQ_OP)
-    ret->ar = EQ;
+    }
+  else if (lltok_getTok (relOp) == LE_OP)
+    {
+      ret->ar = LTE;
+    }
+  else if (lltok_getTok (relOp) == EQ_OP)
+    {
+      ret->ar = EQ;
+    }
   else
-  llfatalbug ( message ("Unsupported relational operator"));
+    llfatalbug ( message ("Unsupported relational operator"));
 
   ret->expr = constraintExpr_copy (r);