From 389fe588bb08803d18e0009b31d97159ced6c540 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 12 Jul 2013 18:18:07 -0400
Subject: [PATCH] Fix for curious GCC 4.8 translation with -O.

---
 src/util/recursion_breaker.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
 
-- 
2.30.2