From 4c5753f32144da6a4a8f244318a938e780d79dba Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 13 Nov 2014 18:08:24 -0800 Subject: [PATCH] be classy with your friends Signed-off-by: Nikolaj Bjorner --- src/ast/ast.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/ast.h b/src/ast/ast.h index 944c089f3..93f456965 100644 --- a/src/ast/ast.h +++ b/src/ast/ast.h @@ -1379,7 +1379,7 @@ enum proof_gen_mode { // ----------------------------------- class ast_manager { - friend basic_decl_plugin; + friend class basic_decl_plugin; protected: struct config { typedef ast_manager value_manager;