mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-04 16:10:50 +00:00
Code Activity

Update udoc_relation.cpp

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-06-01 17:22:06 -07:00 • committed by GitHub
parent 947af23fc4
commit c4366e57f8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/udoc_relation.cpp
View file

@ -7,6 +7,7 @@ Copyright (c) 2015 Microsoft Corporation
#include "muz/rel/udoc_relation.h"
#include "util/trace.h"
#include "util/vector.h"
#include "util/gparams.h"
#include "ast/ast.h"
#include "ast/ast_pp.h"
#include "ast/reg_decl_plugins.h"
@ -35,6 +36,7 @@ class udoc_tester {
struct init {
init(ast_manager& m) {
gparams::set("fp.engine", "datalog");
reg_decl_plugins(m);
}
};