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

includes shouldn't depend on debug/release mode

Browse source
This commit is contained in:
Jakob Rath 2022-01-31 15:29:25 +01:00
parent 67647433ba
commit f80eb6237d
1 changed files with 6 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

11
src/math/polysat/log.h
View file

@ -2,6 +2,12 @@
#define POLYSAT_LOG_HPP #define POLYSAT_LOG_HPP
#include <cstdint>
#include <iostream>
#include <string>
#include "math/polysat/log_helper.h"
// By default, enable logging only in debug mode // By default, enable logging only in debug mode
#ifndef POLYSAT_LOGGING_ENABLED #ifndef POLYSAT_LOGGING_ENABLED
# ifndef NDEBUG # ifndef NDEBUG
@ -15,11 +21,6 @@
#if POLYSAT_LOGGING_ENABLED #if POLYSAT_LOGGING_ENABLED
#include <cstdint>
#include <iostream>
#include <string>
#include "math/polysat/log_helper.h"
class polysat_log_indent class polysat_log_indent
{ {
int m_amount; int m_amount;