Fix for curious GCC 4.8 translation with -O.

diff --git a/src/util/recursion_breaker.h b/src/util/recursion_breaker.h
index 07bf10984e09688013510ec9abd15c111a77ec52..a4177f600fabad89f7d86096710c35e6d47e96fa 100644 (file)
--- a/src/util/recursion_breaker.h
+++ b/src/util/recursion_breaker.h
@@ -86,7 +86,7 @@ class RecursionBreaker {
   static CVC4_THREADLOCAL(Map*) s_maps;
 
   std::string d_tag;
-  const T& d_item;
+  const T d_item;
   bool d_firstToTag;
   bool d_recursion;