From dbdbd211e30b71a2fe256b0ac2ed42f47a460aee Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 27 Jan 2014 23:29:53 -0800
Subject: [PATCH] fix(library/simplifier): compilation warning

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/library/simplifier/simplifier.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/simplifier/simplifier.h b/src/library/simplifier/simplifier.h
index 6df27aeb5..125cb4ea1 100644
--- a/src/library/simplifier/simplifier.h
+++ b/src/library/simplifier/simplifier.h
@@ -17,7 +17,7 @@ class simplifier_monitor;
 /** \brief Simplifier object cell. */
 class simplifier_cell {
     friend class simplifier;
-    struct imp;
+    class imp;
     std::unique_ptr<imp> m_ptr;
 public:
     simplifier_cell(ro_environment const & env, options const & o, unsigned num_rs, rewrite_rule_set const * rs,