From 8869f9e97156158898bcbd765e72752db074dda1 Mon Sep 17 00:00:00 2001
From: Christian Schulte <cschulte@kth.se>
Date: Tue, 4 Dec 2018 23:25:43 +0100
Subject: [PATCH] Warning

---
 test/float/arithmetic.cpp | 1 -
 1 file changed, 1 deletion(-)
 mode change 100644 => 100755 test/float/arithmetic.cpp

diff --git a/test/float/arithmetic.cpp b/test/float/arithmetic.cpp
old mode 100644
new mode 100755
index 856ee91018..2100088a2c
--- a/test/float/arithmetic.cpp
+++ b/test/float/arithmetic.cpp
@@ -783,7 +783,6 @@ namespace Test { namespace Float {
      };
 
      const Gecode::FloatNum step = 0.15;
-     const Gecode::FloatNum step2 = 2*step;
      Gecode::FloatVal a(-8,5);
      Gecode::FloatVal b(9,12);
      Gecode::FloatVal c(-8,8);