diff --git a/Makefile b/Makefile
index 3770370d8..b39fb9d55 100644
--- a/Makefile
+++ b/Makefile
@@ -19,8 +19,8 @@ ENABLE_GHDL := 0
 ENABLE_SLANG := 0
 ENABLE_VERIFIC := 1
 ENABLE_VERIFIC_SYSTEMVERILOG := 1
-ENABLE_VERIFIC_GHDL := 1
-ENABLE_VERIFIC_VHDL := 0
+ENABLE_VERIFIC_GHDL := 0
+ENABLE_VERIFIC_VHDL := 1
 ENABLE_VERIFIC_HIER_TREE := 1
 ENABLE_VERIFIC_SILIMATE_EXTENSIONS := 1
 ENABLE_VERIFIC_YOSYSHQ_EXTENSIONS := 0
diff --git a/verific b/verific
index fbd43f10f..b29b658a0 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit fbd43f10f5c6e615b6a73395a11a010434cbb4f5
+Subproject commit b29b658a05b60bd1ebdd6eaee8ed2b452673c9e6