diff --git a/src/QuickCheckVEngine/Main.hs b/src/QuickCheckVEngine/Main.hs index 03f01ef..f139582 100644 --- 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 index d4fce4f..ba3d046 100644 --- 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