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