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

---
 test.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'test.cc')

diff --git a/test.cc b/test.cc
index cf99e8e..e7817f0 100644
--- a/test.cc
+++ b/test.cc
@@ -7,7 +7,8 @@
 #include "list/list.h"
 #include "list/operation/reverse.h"
 #include "list/operation/contains.h"
-#include "list/operation/higher/misc.h"
+#include "list/operation/higher/map.h"
+#include "list/operation/higher/filter.h"
 #include "list/operation/higher/query.h"
 #include "list/generator/iota.h"
 #include "list/generator/make_list.h"
-- 
cgit v1.2.3