Fix some imports that went wrong in the rebase

CTSRD-CHERI · Jan 16, 2025 · e5030e9 · e5030e9
1 parent 73aa7b4
commit e5030e9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/src/QuickCheckVEngine/Main.hs b/src/QuickCheckVEngine/Main.hs
@@ -75,6 +75,7 @@ import QuickCheckVEngine.Templates.GenFP
 import QuickCheckVEngine.Templates.GenCHERI
 import QuickCheckVEngine.Templates.GenHPM
 import QuickCheckVEngine.Templates.GenTransExec
+import QuickCheckVEngine.Templates.GenUnstructured
 
 -- command line arguments
 --------------------------------------------------------------------------------

diff --git a/src/QuickCheckVEngine/Templates/GenUnstructured.hs b/src/QuickCheckVEngine/Templates/GenUnstructured.hs
@@ -36,7 +36,7 @@ module QuickCheckVEngine.Templates.GenUnstructured (
 ) where
 
 import QuickCheckVEngine.Template
-import QuickCheckVEngine.Templates.Utils
+import QuickCheckVEngine.Templates.Utils.General
 import InstrCodec
 
 gen_unstructured :: Template