From e58f0edff71e3d3263255c237f00b6b2b0096144 Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Tue, 21 May 2019 14:53:06 -0500 Subject: [PATCH] remove obsolete header file --- CeresFE/src/ceres.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/CeresFE/src/ceres.cc b/CeresFE/src/ceres.cc index 2b2440e..990b0a1 100644 --- a/CeresFE/src/ceres.cc +++ b/CeresFE/src/ceres.cc @@ -44,7 +44,6 @@ One per plasticity step: #include #include #include -#include #include #include #include -- 2.39.5