From 3dbf617a466c642aece145f7b5638377cbf0bb29 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 17 Nov 2012 18:42:54 -0800 Subject: [PATCH] avoid compiler warning casting int to bool Signed-off-by: Nikolaj Bjorner --- src/tactic/tactical.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tactic/tactical.cpp b/src/tactic/tactical.cpp index d13eab75e..30e05bd26 100644 --- a/src/tactic/tactical.cpp +++ b/src/tactic/tactical.cpp @@ -549,7 +549,7 @@ public: #ifdef _NO_OMP_ use_seq = true; #else - use_seq = omp_in_parallel(); + use_seq = 0 != omp_in_parallel(); #endif if (use_seq) { // execute tasks sequentially @@ -677,7 +677,7 @@ public: #ifdef _NO_OMP_ use_seq = true; #else - use_seq = omp_in_parallel(); + use_seq = 0 != omp_in_parallel(); #endif if (use_seq) { // execute tasks sequentially