constify goto_symext::guard_identifier

karkhaz · karkhaz · commit 7d17590edb62 · 2018-10-25T10:35:03.000+01:00
This member is never written to.
diff --git a/src/goto-symex/goto_symex.h b/src/goto-symex/goto_symex.h
@@ -276,7 +276,7 @@ class goto_symext
 
   // guards
 
-  irep_idt guard_identifier;
+  const irep_idt guard_identifier;
 
   // symex
   virtual void symex_transition(
