From cb54ae53497b8bf3cfde41eb204c56a79a4bdb75 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 22 Jun 2018 12:55:41 +0100 Subject: [PATCH] Remove unused, empty function --- src/goto-symex/slice_by_trace.cpp | 5 ----- src/goto-symex/slice_by_trace.h | 2 -- 2 files changed, 7 deletions(-) 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 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(