mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
be classy with your friends
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
025d6c3108
commit
4c5753f321
|
@ -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;
|
||||
|
|
Loading…
Reference in a new issue