diff --git a/src/goto-symex/slice_by_trace.cpp b/src/goto-symex/slice_by_trace.cpp
index 747c56e3e00..3a5800f19b3 100644
--- a/src/goto-symex/slice_by_trace.cpp
+++ b/src/goto-symex/slice_by_trace.cpp
@@ -372,11 +372,6 @@ void symex_slice_by_tracet::compute_ts_back(
   }
 }
 
-void symex_slice_by_tracet::compute_ts_fd(
-  symex_target_equationt &equation)
-{
-}
-
 void symex_slice_by_tracet::slice_SSA_steps(
   symex_target_equationt &equation,
   std::set<exprt> implications)
diff --git a/src/goto-symex/slice_by_trace.h b/src/goto-symex/slice_by_trace.h
index 256930dfad7..924bbdaca0f 100644
--- a/src/goto-symex/slice_by_trace.h
+++ b/src/goto-symex/slice_by_trace.h
@@ -63,8 +63,6 @@ class symex_slice_by_tracet
 
   void parse_events(std::string read_line);
 
-  void compute_ts_fd(symex_target_equationt &equation);
-
   void compute_ts_back(symex_target_equationt &equation);
 
   void slice_SSA_steps(