From 68f95d2e929b13fbbf2897fa85936ebeb7cf3880 Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Fri, 24 Aug 2018 14:04:42 +0100
Subject: [PATCH] add protection to internal methods of exprt

---
 src/util/expr.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/util/expr.h b/src/util/expr.h
index 09c1c3c59da..2f3f901f07e 100644
--- a/src/util/expr.h
+++ b/src/util/expr.h
@@ -139,6 +139,7 @@ class exprt:public irept
     return static_cast<source_locationt &>(add(ID_C_source_location));
   }
 
+protected:
   exprt &add_expr(const irep_idt &name)
   {
     return static_cast<exprt &>(add(name));
@@ -149,6 +150,7 @@ class exprt:public irept
     return static_cast<const exprt &>(find(name));
   }
 
+public:
   void visit(class expr_visitort &visitor);
   void visit(class const_expr_visitort &visitor) const;