From e08706f3186be543c8f4a9c0b2ba5821d17314a4 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 24 May 2017 00:40:46 +0200 Subject: [PATCH] remove an empty file --- src/mc/Variable.cpp | 0 tools/cmake/DefinePackages.cmake | 1 - 2 files changed, 1 deletion(-) delete mode 100644 src/mc/Variable.cpp diff --git a/src/mc/Variable.cpp b/src/mc/Variable.cpp deleted file mode 100644 index e69de29bb2..0000000000 diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 32c77311c5..71961df702 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -596,7 +596,6 @@ set(MC_SRC src/mc/RegionSnapshot.cpp src/mc/RegionSnapshot.hpp src/mc/Type.hpp - src/mc/Variable.cpp src/mc/Variable.hpp src/mc/mc_forward.hpp src/mc/Process.hpp -- 2.20.1