support 64-bit Tag

fmlab-iis · Aug 22, 2024 · 1dc39c3 · 1dc39c3
1 parent 6f5b844
commit 1dc39c3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/include/autoq/aut_description.hh b/include/autoq/aut_description.hh
@@ -48,8 +48,8 @@ public:   // data types
 	typedef std::set<State> StateSet;
 
     typedef TT Symbol;
-	typedef unsigned Tag;
-    inline static constexpr auto Tag_MAX = 1 << (std::numeric_limits<Tag>::digits - 1);
+	typedef unsigned long long Tag;
+    inline static constexpr auto Tag_MAX = 1LL << (std::numeric_limits<Tag>::digits - 1);
     typedef std::pair<Symbol, Tag> stdpairSymbolTag;
     struct SymbolTag : stdpairSymbolTag {
         using stdpairSymbolTag::stdpairSymbolTag; // inherit parent constructors