Really finalize 1.8.4 release.

Fix SONAME screw-up in last commit.

diff --git a/ginac/version.h b/ginac/version.h
index 974c35f3da1fe3bc2db55daea7d7d682141bc44d..30b2eb7f3ee3c6f65778e1c405722f0b8e372697 100644 (file)
--- a/ginac/version.h
+++ b/ginac/version.h
@@ -55,7 +55,7 @@
 // TODO, when breaking the SONAME:
 //  * change matrix inverse to use default argument (twice)
 //  * check for interfaces marked as deprecated
-#define GINAC_LT_CURRENT  13
+#define GINAC_LT_CURRENT  12
 #define GINAC_LT_REVISION 3
 #define GINAC_LT_AGE      1