From 655b7fa8259959539ea0d70254118eeaf13863f7 Mon Sep 17 00:00:00 2001
From: Leonardo Vencovsky <lvenk26@gmail.com>
Date: Fri, 3 Mar 2023 21:28:04 +0100
Subject: [PATCH] Added FTABLE flag

---
 src/cmc/cor/flags.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/cmc/cor/flags.h b/src/cmc/cor/flags.h
index 4c9e7f5..387fc67 100644
--- a/src/cmc/cor/flags.h
+++ b/src/cmc/cor/flags.h
@@ -56,6 +56,7 @@ enum cmc_flags
     CMC_FLAG_THREAD    =  8, // Generic error regarding threads
     CMC_FLAG_MUTEX     =  9, // Generic error regarding mutexes
     CMC_FLAG_FULL      = 10, // When a collection that doesn't resize is full
+    CMC_FLAG_FTABLE    = 11, // When an ftable function is missing
 };
 // clang-format on