From ee2d3aac716bc68a77ce8dcd2f626a44cf76522d Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Sun, 14 Feb 2016 17:44:51 +0100
Subject: [PATCH] Force cast to please clang on OSX

Fixes #147.

*  tests/core/trival.cc: Here.
---
 tests/core/trival.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/core/trival.cc b/tests/core/trival.cc
index 04d760d12..74a643d0e 100644
--- a/tests/core/trival.cc
+++ b/tests/core/trival.cc
@@ -35,8 +35,8 @@ int main()
   assert(v2 == false);
   assert(true == v3);
   assert(v4 == spot::trival::maybe());
-  assert(v3);
-  assert(!v2);
+  assert((bool)v3);
+  assert(!(bool)v2);
   assert(!(bool)!v1);
   assert(!(bool)v1);
   assert(!(bool)!v3);