1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/cut_log.h b/src/theory/arith/cut_log.h
index 054ab01e7..82d45871f 100644
--- a/src/theory/arith/cut_log.h
+++ b/src/theory/arith/cut_log.h
@@ -234,7 +234,7 @@ std::ostream& operator<<(std::ostream& os, const NodeLog& nl);
 class ApproximateSimplex;
 class TreeLog {
 private:
-  ApproximateSimplex* d_generator CVC4_UNUSED;
+  ApproximateSimplex* d_generator;
 
   int next_exec_ord;
   typedef std::map<int, NodeLog> ToNodeMap;