Fix FloatVar width return type.

Vincent Barichard · Vincent Barichard · commit 3c4da261d14e · 2012-04-04T09:51:59.000Z
git-svn-id: file:///Users/tack/GecodeGitMigration/gecode-svn-mirror/gecode/trunk@12695 e85b7adc-8362-4630-8c63-7469d557c915
diff --git a/gecode/float.hh b/gecode/float.hh
@@ -820,7 +820,7 @@ namespace Gecode {
     FloatVal val(void) const;
 
     /// Return width of domain (distance between maximum and minimum)
-    FloatVal width(void) const;
+    FloatNum width(void) const;
     //@}
 
     /// \name Domain tests
diff --git a/gecode/float/var/float.hpp b/gecode/float/var/float.hpp
@@ -81,7 +81,7 @@ namespace Gecode {
     return x->domain();
   }
 
-  forceinline FloatVal
+  forceinline FloatNum
   FloatVar::width(void) const {
     return x->width();
   }
