From 7f503ebafa79863fef6e6bdb0b70c268b04d0599 Mon Sep 17 00:00:00 2001
From: ENGO150 <v.smejkal06@gmail.com>
Date: Thu, 2 Feb 2023 16:59:07 +0100
Subject: [PATCH] changed DEFAULT_MEMORY_IDENTIFIER to ""

---
 src/core/lib/flags.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/lib/flags.c b/src/core/lib/flags.c
index 527ea7f..3f0354b 100644
--- a/src/core/lib/flags.c
+++ b/src/core/lib/flags.c
@@ -24,7 +24,7 @@ along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
 //CONSTS (this is just local)
 #define DEFAULT_FLAGS (why2_input_flags) { 0, 0, 0 }
-#define DEFAULT_MEMORY_IDENTIFIER NULL
+#define DEFAULT_MEMORY_IDENTIFIER ""
 
 int encryptionOperation(int text, int encryptedText);