mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

Merge branch 'master' of https://github.com/z3prover/z3

Browse source
This commit is contained in:
Nikolaj Bjorner 2018-12-09 12:56:26 -08:00
parent 604e5dd0bb 45bf7887e4
commit bb69aa88fb
1 changed files with 0 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/test/dl_table.cpp
View file

@ -1,8 +1,6 @@
/*++ /*++
Copyright (c) 2015 Microsoft Corporation Copyright (c) 2015 Microsoft Corporation
--*/ --*/
#if defined(_WINDOWS) || defined(_CYGWIN)
#include "muz/base/dl_context.h" #include "muz/base/dl_context.h"
#include "muz/rel/dl_table.h" #include "muz/rel/dl_table.h"
#include "muz/fp/dl_register_engine.h" #include "muz/fp/dl_register_engine.h"
@ -98,7 +96,3 @@ void test_dl_bitvector_table() {
void tst_dl_table() { void tst_dl_table() {
test_dl_bitvector_table(); test_dl_bitvector_table();
} }
#else
void tst_dl_table() {
}
#endif