From 6a64a9acb5fe7c10555960ddffa75e417da22fbe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu>
Date: Wed, 15 May 2019 10:54:17 +0200
Subject: [PATCH] oops

---
 src/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index cb0abb056..c62ea34a7 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -144,7 +144,6 @@ SET(HDRS_BASE
     map_base.h
     motion_buffer.h
     node_base.h
-    pinhole_tools.h
     problem.h
     processor_base.h
     processor_factory.h
-- 
GitLab