summaryrefslogtreecommitdiff
path: root/src/config.sml.in
diff options
context:
space:
mode:
Diffstat (limited to 'src/config.sml.in')
-rw-r--r--src/config.sml.in3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/config.sml.in b/src/config.sml.in
index 3fc492ab..bb5648c9 100644
--- a/src/config.sml.in
+++ b/src/config.sml.in
@@ -20,4 +20,7 @@ val pgheader = "@PGHEADER@"
val msheader = "@MSHEADER@"
val sqheader = "@SQHEADER@"
+val versionNumber = "@VERSION@"
+val versionString = "The Ur/Web compiler, version " ^ versionNumber
+
end