Increased version numbers to 2.4.1

BrunoDutertre · BrunoDutertre · commit 2f344f7a424b · 2015-08-09T10:45:59.000-07:00
diff --git a/Makefile b/Makefile
@@ -37,7 +37,7 @@ YICES_TOP_DIR=$(shell pwd)
 #
 MAJOR = 2
 MINOR = 4
-PATCH_LEVEL = 0
+PATCH_LEVEL = 1
 
 YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)
 
diff --git a/src/include/yices.h b/src/include/yices.h
@@ -72,7 +72,7 @@ extern "C" {
 
 #define __YICES_VERSION            2
 #define __YICES_VERSION_MAJOR      4
-#define __YICES_VERSION_PATCHLEVEL 0
+#define __YICES_VERSION_PATCHLEVEL 1
 
 
 /*

Original file line number	Diff line number	Diff line change
`@@ -37,7 +37,7 @@ YICES_TOP_DIR=$(shell pwd)`
`37`	`37`	`#`
`38`	`38`	`MAJOR = 2`
`39`	`39`	`MINOR = 4`
`40`		`-PATCH_LEVEL = 0`
	`40`	`+PATCH_LEVEL = 1`
`41`	`41`
`42`	`42`	`YICES_VERSION = $(MAJOR).$(MINOR).$(PATCH_LEVEL)`
`43`	`43`