--- a/CMakeLists.txt	Tue Feb 13 14:56:08 2018 +0200
+++ b/CMakeLists.txt	Tue Feb 13 15:43:55 2018 +0200
@@ -95,7 +95,6 @@
 	src/documentation.h
 	src/documentloader.h
 	src/documentmanager.h
-	src/doublemap.h
 	src/editHistory.h
 	src/format.h
 	src/glcamera.h