From bef9866f14e77bafedcc78303522ffc86669d2ec Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 22 Jun 2018 12:52:45 +0100
Subject: [PATCH] Remove unused function adjust_lhs_object

---
 src/goto-symex/build_goto_trace.cpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/goto-symex/build_goto_trace.cpp b/src/goto-symex/build_goto_trace.cpp
index 56f9f42763d..648583605af 100644
--- a/src/goto-symex/build_goto_trace.cpp
+++ b/src/goto-symex/build_goto_trace.cpp
@@ -101,14 +101,6 @@ exprt build_full_lhs_rec(
   return src_original;
 }
 
-exprt adjust_lhs_object(
-  const prop_convt &prop_conv,
-  const namespacet &ns,
-  const exprt &src)
-{
-  return nil_exprt();
-}
-
 /// set internal field for variable assignment related to dynamic_object[0-9]
 /// and dynamic_[0-9]_array.
 void set_internal_dynamic_object(