From 223d872bdb4b2a4c466a24bb65c3e7b3a3bf88ff Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Fri, 8 Jun 2018 13:58:47 +0000
Subject: [PATCH] Revert undocumented change of 27153d142e

While the functional behaviour is identical, there is a ~10% performance penalty
during symbolic execution when using the non-optimised version.
---
 src/util/ssa_expr.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/ssa_expr.h b/src/util/ssa_expr.h
index 3a0e3b151d6..e04325b4caf 100644
--- a/src/util/ssa_expr.h
+++ b/src/util/ssa_expr.h
@@ -65,7 +65,7 @@ class ssa_exprt:public symbol_exprt
 
   const irep_idt get_l1_object_identifier() const
   {
-    #if 1
+    #if 0
     return get_l1_object().get_identifier();
     #else
     // the above is the clean version, this is the fast one, using