From 4a866119eeb8298a7221934a8d7494ddf5d14ff7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20Chocholat=C3=BD?= <chocholaty.david@protonmail.com>
Date: Fri, 22 Nov 2024 14:55:35 +0100
Subject: [PATCH] feat(nft)!: Set default number of levels in NFTs to 2

---
 include/mata/nft/types.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/mata/nft/types.hh b/include/mata/nft/types.hh
index 494b46c7a..f90470cc0 100644
--- 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.