Skip to content

Commit 3e9d409

Browse files
committed
Fix some imports that went wrong in the rebase
1 parent 73aa7b4 commit 3e9d409

File tree

2 files changed

+2
-1
lines changed

2 files changed

+2
-1
lines changed

src/QuickCheckVEngine/Main.hs

+1
Original file line numberDiff line numberDiff line change
@@ -75,6 +75,7 @@ import QuickCheckVEngine.Templates.GenFP
7575
import QuickCheckVEngine.Templates.GenCHERI
7676
import QuickCheckVEngine.Templates.GenHPM
7777
import QuickCheckVEngine.Templates.GenTransExec
78+
import QuickCheckVEngine.Templates.GenUnstructured
7879

7980
-- command line arguments
8081
--------------------------------------------------------------------------------

src/QuickCheckVEngine/Templates/GenUnstructured.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,7 @@ module QuickCheckVEngine.Templates.GenUnstructured (
3636
) where
3737

3838
import QuickCheckVEngine.Template
39-
import QuickCheckVEngine.Templates.Utils
39+
import QuickCheckVEngine.Templates.Utils.General
4040
import InstrCodec
4141

4242
gen_unstructured :: Template

0 commit comments

Comments
 (0)