1 files changed, 1 insertions, 0 deletions
diff --git a/sucl/loop.dcl b/sucl/loop.dcl
index f4821fe..2fcbe3f 100644
--- a/sucl/loop.dcl
+++ b/sucl/loop.dcl
@@ -5,6 +5,7 @@ definition module loop
 from strat import Strategy
 from spine import Answer
 from trace import Trace
+from history import HistoryAssociation,HistoryPattern
 from rule import Rgraph,Rule
 from graph import Graph
 from StdOverloaded import ==