From 8586b510aa0e92fcb0cca4061e513a288997e9bd Mon Sep 17 00:00:00 2001
From: thk123 <thomas@diffblue.com>
Date: Wed, 30 May 2018 15:54:02 +0100
Subject: [PATCH] Change the symex merge to use the full merge rather than
 ignoring comments

This ensures ireps that differ only by comments aren't inadvertently
lost.
---
 src/goto-symex/symex_target_equation.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/goto-symex/symex_target_equation.h b/src/goto-symex/symex_target_equation.h
index bada3f9d871..0462bdb8bd4 100644
--- a/src/goto-symex/symex_target_equation.h
+++ b/src/goto-symex/symex_target_equation.h
@@ -320,7 +320,7 @@ class symex_target_equationt:public symex_targett
 
 protected:
   // for enforcing sharing in the expressions stored
-  merge_irept merge_irep;
+  merge_full_irept merge_irep;
   void merge_ireps(SSA_stept &SSA_step);
 };