Merge pull request #2667 from tautschnig/slicer-cleanup

tautschnig · web-flow · commit 0f5a057e7274 · 2018-08-02T17:47:09.000+01:00
Remove no-longer-used ifdef
diff --git 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>
 
