From 435aafce7c986dd96a70aebbdef9171f28a9a9ea Mon Sep 17 00:00:00 2001
From: Finn Teegen <fte@informatik.uni-kiel.de>
Date: Wed, 27 Mar 2019 15:45:23 +0100
Subject: [PATCH] Adapt PFLP to library changes

---
 package.json   | 1 +
 src/PFLP.curry | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/package.json b/package.json
index c9b020b..afcd74d 100644
--- a/package.json
+++ b/package.json
@@ -10,6 +10,7 @@
   "sourceDirs" : [ "src" ],
   "exportedModules": [ "PFLP" ],
   "dependencies": {
+    "searchtree" : ">= 1.0.0"
   },
   "compilerCompatibility": {
     "kics2": ">= 2.0.0",
diff --git a/src/PFLP.curry b/src/PFLP.curry
index 4952160..e5dc124 100644
--- a/src/PFLP.curry
+++ b/src/PFLP.curry
@@ -16,7 +16,7 @@ module PFLP
   , replicateDist
   ) where
 
-import Findall (allValues)
+import Control.Findall (allValues)
 
 infixl 1 >>>=
 infixr 1 ??