diff --git a/Packages/Interval_skip_list/version b/Packages/Interval_skip_list/version
index d309dca8283..64ebc5a47fb 100644
--- a/Packages/Interval_skip_list/version
+++ b/Packages/Interval_skip_list/version
@@ -1 +1 @@
-1.2 ( 7 Apr 2003)
+1.3 ( 9 Apr 2003)