Merge pull request diffblue#2316 from tautschnig/ssa-perf-fix

Revert undocumented change of 27153d1
NathanJPhillips · Jun 10, 2018 · 86b143b · 86b143b
2 parents a6d32eb + 223d872
commit 86b143b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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