From 60ce37c2bd5513fcfe24c073a53c2fce76578343 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Fri, 24 May 2024 01:49:54 -0700
Subject: [PATCH] Don't reenable verific, move to c_cpp_properties.json in
 .vscode

---
 frontends/verific/verific.cc | 1 -
 1 file changed, 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4a12cadb1..b49c61f81 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -16,7 +16,6 @@
  *  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  *
  */
-#define YOSYS_ENABLE_VERIFIC
 #include "kernel/yosys.h"
 #include "kernel/sigtools.h"
 #include "kernel/celltypes.h"