feat(nft)!: Set default number of levels in NFTs to 2

VeriFIT · Dec 2, 2024 · 4a86611 · 4a86611
1 parent ee9056a
commit 4a86611
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/include/mata/nft/types.hh b/include/mata/nft/types.hh
@@ -50,7 +50,7 @@ constexpr Symbol EPSILON = mata::nfa::EPSILON;
 constexpr Symbol DONT_CARE = EPSILON - 1;
 
 constexpr Level DEFAULT_LEVEL{ 0 };
-constexpr Level DEFAULT_NUM_OF_LEVELS{ 1 };
+constexpr Level DEFAULT_NUM_OF_LEVELS{ 2 };
 
 } // namespace mata::nft.