summaryrefslogtreecommitdiff
path: root/VERSION
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2016-04-15 18:15:52 +0200
committerDamien Doligez <damien.doligez@inria.fr>2016-04-15 18:15:55 +0200
commitf2e1274e37db2ea121a637b4c70360ac254ed330 (patch)
tree6e62b8de372f3a901aa89b1fb863da2ead799dc0 /VERSION
parent932cc8ed4ccb52ca4176abdc2d034c181b321826 (diff)
downloadocaml-f2e1274e37db2ea121a637b4c70360ac254ed330.tar.gz
PR#6906: wrong error location for unmatched paren with #use in toplevel
Diffstat (limited to 'VERSION')
-rw-r--r--VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/VERSION b/VERSION
index 8d91183704..dd9a6b5989 100644
--- a/VERSION
+++ b/VERSION
@@ -1,4 +1,4 @@
-4.03.0+dev18-2016-04-01
+4.03.0+dev19-2016-04-15
# The version string is the first line of this file.
# It must be in the format described in stdlib/sys.mli