From f1c92d1d9918a526eced4ba01c6eed36374387c5 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Fri, 21 Jun 2013 15:08:26 -0700
Subject: [PATCH] Fix INT_VALUES_MAX

---
 gecode/int/branch/val.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gecode/int/branch/val.hpp b/gecode/int/branch/val.hpp
index d417abb..a44bd55 100755
--- a/gecode/int/branch/val.hpp
+++ b/gecode/int/branch/val.hpp
@@ -123,7 +123,7 @@ namespace Gecode {
 
   inline IntValBranch
   INT_VALUES_MAX(void) {
-    return IntValBranch(IntValBranch::SEL_VALUES_MIN);
+    return IntValBranch(IntValBranch::SEL_VALUES_MAX);
   }
 
   inline IntValBranch
-- 
1.8.1.2