diff --git a/Makefile b/Makefile
index 6e302cd3c..a0c0d7360 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,7 @@ ENABLE_VERIFIC_SILIMATE_EXTENSIONS := 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 3992c3755..736d26da6 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f
+Subproject commit 736d26da64484244def74ca9ac33acbeeb22185f