From 9e2a89070d35c268845b00e9b8a8a0c85a7a1887 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 17 Oct 2024 04:02:28 -0700
Subject: [PATCH] Revert UPF stuff

---
 Makefile | 2 +-
 verific  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 1e1228714..6241e472f 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ ENABLE_VERIFIC_HIER_TREE := 1
 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
 ENABLE_VERIFIC_EDIF := 0
 ENABLE_VERIFIC_LIBERTY := 0
-ENABLE_VERIFIC_UPF := 1
+ENABLE_VERIFIC_UPF := 0
 ENABLE_COVER := 1
 ENABLE_LIBYOSYS := 0
 ENABLE_ZLIB := 1
diff --git a/verific b/verific
index 6b6ffb310..fbd43f10f 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6b6ffb3104e36fdad6cb353c53469ba6b48c6ab9
+Subproject commit fbd43f10f5c6e615b6a73395a11a010434cbb4f5