Committing my cosmetic code changes and fix of the token problem in

[splint.git] / src / constraintExpr.c

diff --git a/src/constraintExpr.c b/src/constraintExpr.c
index a6b0cfc2562929cfed82f64b677a8a78e5259ad3..69ee98f83b496c1a0910b6e800da586cff98520d 100644 (file)
--- a/src/constraintExpr.c
+++ b/src/constraintExpr.c
@@ -695,7 +695,7 @@ constraintExpr constraintExpr_parseMakeUnaryOp (lltok op, constraintExpr cexpr)
       ret->data = constraintExprData_unaryExprSetOp (ret->data, MAXREAD);
       break;
     default:
-      llfatalbug(message("Unhandled Operation in Constraint") );
+      llfatalbug (message ("Unhandled operation in constraint: %s", lltok_unparse (op)));
     }
   return ret;
 }