Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / src / Headers / constraint.h

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 8c82f9d78da088db56db39b088e114d73bc67e9b..57676f41a034d3878859db1c8c4ef54bbd7ed00c 100644 (file)
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -4,7 +4,7 @@
 
 typedef enum
 {
-  LT, LTE, GT, GTE, EQ, NONNEGATIVE, POSITIVE, CASTEQ
+  LT, LTE, GT, GTE, EQ, NONNEGATIVE, POSITIVE,
 }
 arithType;