-/* Whether this version of Flex is (strictly) greater than
- Major.Minor.Subminor. */
-#define FLEX_VERSION_GT(Major, Minor, Subminor) \
- (defined YY_FLEX_MAJOR_VERSION \
- && (Major < YY_FLEX_MAJOR_VERSION \
- || (Major == YY_FLEX_MAJOR_VERSION \
- && (defined YY_FLEX_MINOR_VERSION \
- && (Minor < YY_FLEX_MINOR_VERSION \
- || (Minor == YY_FLEX_MINOR_VERSION \
- && defined YY_FLEX_SUBMINOR_VERSION \
- && Subminor < YY_FLEX_SUBMINOR_VERSION))))))
+/* Flex full version as a number. */
+#define FLEX_VERSION \
+ ((YY_FLEX_MAJOR_VERSION) * 1000000 \
+ + (YY_FLEX_MINOR_VERSION) * 1000 \
+ + (YY_FLEX_SUBMINOR_VERSION))