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

move windows dependencies down

Browse source
This commit is contained in:
Nikolaj Bjorner 2020-04-30 19:31:11 -07:00
parent 16bc5b8432
commit 397bf2dec6
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
src/muz/base/dl_util.cpp
View file

@ -20,9 +20,6 @@ Revision History:
#include <sstream> #include <sstream>
#include <sys/types.h> #include <sys/types.h>
#include <sys/stat.h> #include <sys/stat.h>
#ifdef _WINDOWS
#include <windows.h>
#endif
#include "ast/ast_pp.h" #include "ast/ast_pp.h"
#include "ast/rewriter/bool_rewriter.h" #include "ast/rewriter/bool_rewriter.h"
#include "ast/for_each_expr.h" #include "ast/for_each_expr.h"
@ -31,6 +28,10 @@ Revision History:
#include "muz/base/dl_rule.h" #include "muz/base/dl_rule.h"
#include "muz/base/dl_util.h" #include "muz/base/dl_util.h"
#include "util/stopwatch.h" #include "util/stopwatch.h"
#ifdef _WINDOWS
#include <windows.h>
#endif
#ifndef __STDC_FORMAT_MACROS #ifndef __STDC_FORMAT_MACROS
#define __STDC_FORMAT_MACROS #define __STDC_FORMAT_MACROS
#endif #endif