From 16e646281a93f23c0c3b32ff9b887c5689bb3921 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Thu, 2 Aug 2018 16:01:11 +0000
Subject: [PATCH] Remove no-longer-used ifdef

This is no longer necessary as of 2db625aacd9dfe66c128908dfdff2cf8ea7e1412.
---
 src/goto-instrument/full_slicer.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/goto-instrument/full_slicer.cpp b/src/goto-instrument/full_slicer.cpp
index ae7b8139fc8..e1a66f5fc8a 100644
--- a/src/goto-instrument/full_slicer.cpp
+++ b/src/goto-instrument/full_slicer.cpp
@@ -14,8 +14,6 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <util/find_symbols.h>
 #include <util/cprover_prefix.h>
-#ifdef DEBUG_FULL_SLICERT
-#endif
 
 #include <goto-programs/remove_skip.h>