From c726f19d32e192936cc7df1df2b62196c0fc2422 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 9 Jan 2017 19:28:36 -0800 Subject: [PATCH] fix(library/tactic/smt/ematch): warning --- src/library/tactic/smt/ematch.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/tactic/smt/ematch.cpp b/src/library/tactic/smt/ematch.cpp index 6aaee06116..54e7999fdf 100644 --- a/src/library/tactic/smt/ematch.cpp +++ b/src/library/tactic/smt/ematch.cpp @@ -105,7 +105,7 @@ struct ematch_cnstr_cell { /* Ematching constraint smart pointer */ class ematch_cnstr { - friend class ematch_cnstr_cell; + friend struct ematch_cnstr_cell; ematch_cnstr_cell * m_data; public: ematch_cnstr():m_data(nullptr) {}