From 3352c31029eba00f110a082b65ba5406fea3a3ee Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 27 Apr 2017 09:20:43 +0200
Subject: [PATCH] fix(library/tactic/smt/ematch): fix compiler warning

---
 src/library/tactic/smt/ematch.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/library/tactic/smt/ematch.h b/src/library/tactic/smt/ematch.h
index b0bdcfd27a..858d3a3d9e 100644
--- a/src/library/tactic/smt/ematch.h
+++ b/src/library/tactic/smt/ematch.h
@@ -19,10 +19,10 @@ struct ematch_config {
     unsigned  m_max_generation{10};
 };
 
-struct ematch_fn;
+class ematch_fn;
 
 class ematch_state {
-    friend struct ematch_fn;
+    friend class ematch_fn;
     app_map               m_app_map;
     rb_expr_set           m_instances;
     unsigned              m_num_instances{0};