summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-10-16 09:51:42 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-10-16 09:51:42 +0000
commit7224745796fe819b8c7729fdb41ac3e5cb5a16d0 (patch)
tree6e0a08e81d24cffa04c72a70a2aae9cb076005a2 /VERSION
parent59371b9d75553cd1c917de007b8e316daf5b055c (diff)
downloadocaml-7224745796fe819b8c7729fdb41ac3e5cb5a16d0.tar.gz
PR#5775: several bug fixes for tools/pprintast.ml
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13016 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 768310e220..b341a2d87c 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.01.0+dev9-2012-10-05
+4.01.0+dev10-2012-10-16
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli