diff --git a/infer/src/Makefile b/infer/src/Makefile index f852a4fef..ea12772a8 100644 --- a/infer/src/Makefile +++ b/infer/src/Makefile @@ -6,7 +6,7 @@ # of patent rights can be found in the PATENTS file in the same directory. INFER_VERSION_MAJOR = 0 -INFER_VERSION_MINOR = 3 +INFER_VERSION_MINOR = 4 INFER_VERSION_PATCH = 0 REMOVE = rm -vf