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

VeriFIT · Dec 2, 2024 · df5d24d · df5d24d
1 parent 5ba1d39
commit df5d24d
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.