From e5030e9e5dc91b665271aa865f71aa997b4fc05c Mon Sep 17 00:00:00 2001 From: Peter Rugg Date: Thu, 16 Jan 2025 11:18:23 +0000 Subject: [PATCH] Fix some imports that went wrong in the rebase --- src/QuickCheckVEngine/Main.hs | 1 + src/QuickCheckVEngine/Templates/GenUnstructured.hs | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) 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