From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 12 Jul 2013 22:18:07 +0000 (-0400)
Subject: Fix for curious GCC 4.8 translation with -O.
X-Git-Tag: cvc5-1.0.0~7287^2~66
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=389fe588bb08803d18e0009b31d97159ced6c540;p=cvc5.git

Fix for curious GCC 4.8 translation with -O.
---

diff --git a/src/util/recursion_breaker.h b/src/util/recursion_breaker.h
index 07bf10984..a4177f600 100644
--- 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;