From e176dbe160eff01d172a11e7a191f756d4c87712 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Fri, 30 Jan 2015 19:07:22 +0100
Subject: Separated `Map` and `Filter` * there is no reason to keep them in the
 same header

---
 src/list/operation/higher/query.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/list/operation/higher/query.h')

diff --git a/src/list/operation/higher/query.h b/src/list/operation/higher/query.h
index c6eabc7..198ffa5 100644
--- a/src/list/operation/higher/query.h
+++ b/src/list/operation/higher/query.h
@@ -2,7 +2,7 @@
 #define TYPEASVALUE_SRC_LIST_OPERATION_HIGHER_QUERY_H_
 
 #include "fold.h"
-#include "misc.h"
+#include "map.h"
 #include "operation/math.h"
 #include "operation/logic.h"
 
-- 
cgit v1.2.3