diff --git a/.gitignore b/.gitignore
index 9fcffb0d8..086e6bc99 100644
--- a/.gitignore
+++ b/.gitignore
@@ -52,6 +52,3 @@ __pycache__
 /tests/verilog/roundtrip_proc_1.v
 /tests/verilog/roundtrip_proc_2.v
 /result
-
-# Preqorsor
-preqorsor
diff --git a/verific b/verific
index 7934691f3..daddc8a19 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 7934691f3b70918adef8c56d6842acbec53907df
+Subproject commit daddc8a191f4206ab3a03faebbc0018828b18591