diff --git a/rvfi/cores/minerva/verify.py b/rvfi/cores/minerva/verify.py
index 2b1b8dc..bf07d8d 100644
--- a/rvfi/cores/minerva/verify.py
+++ b/rvfi/cores/minerva/verify.py
@@ -8,7 +8,10 @@ from ...checks.liveness_check import *
 from ...checks.unique_check import *
 from minerva.core import *
 from ...insns.isa_rv32i import *
-from ...riscv_formal_parameters import *
+from collections import namedtuple
+
+RISCVFormalParameters = namedtuple('RISCVFormalParameters',
+    ['ilen', 'xlen', 'csr_misa', 'compressed', 'aligned_mem'])
 
 class InsnSpec(Elaboratable):
     def __init__(self, insn_model):
diff --git a/rvfi/riscv_formal_parameters.py b/rvfi/riscv_formal_parameters.py
deleted file mode 100644
index 458469c..0000000
--- a/rvfi/riscv_formal_parameters.py
+++ /dev/null
@@ -1,4 +0,0 @@
-from collections import namedtuple
-
-RISCVFormalParameters = namedtuple('RISCVFormalParameters',
-    ['ilen', 'xlen', 'csr_misa', 'compressed', 'aligned_mem'])