fix #86: typedef StateCheckNumType is unused

diff --git a/src/regint.h b/src/regint.h
index 29814fc431a1af89af79bf3f65313df046ce6610..357b48955e1750a2d977e8eb9c229735e1e44ffe 100644 (file)
--- a/src/regint.h
+++ b/src/regint.h
@@ -710,7 +710,6 @@ typedef int AbsAddrType;
 typedef int LengthType;
 typedef int RepeatNumType;
 typedef int MemNumType;
-typedef short int StateCheckNumType;
 typedef void* PointerType;
 typedef int SaveType;
 typedef int UpdateVarType;