X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/src/Headers/constraint.h

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index 8c82f9d..57676f4 100644
--- 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;