From 631d199cc1995fc8cf514cacc786cdcf45356913 Mon Sep 17 00:00:00 2001 From: Driss Lahlou Date: Thu, 18 Aug 2016 11:49:19 +0200 Subject: [PATCH] upgrade version --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6fbdf7bc4f..24ccda10d0 100755 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ help: @echo " - all: all test clean" OR_TOOLS_MAJOR = 4 -OR_TOOLS_MINOR = 2 +OR_TOOLS_MINOR = 3 # OR_ROOT is the minimal prefix to define the root of or-tools, if we # are compiling in the or-tools root, it is empty. Otherwise, it is