diff options
author | Paul Phillips <paulp@improving.org> | 2016-03-01 11:17:51 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2016-03-01 11:19:00 -0800 |
commit | 093f9fe25c1a462ec037582f35eae542cc0723ca (patch) | |
tree | 127d4eb2ce79cedd9ee70a4fa6be8134aeadcb42 /src | |
parent | 21c22402326611e325a6c746a0a3321dd016460c (diff) | |
download | unison-093f9fe25c1a462ec037582f35eae542cc0723ca.zip unison-093f9fe25c1a462ec037582f35eae542cc0723ca.tar.gz unison-093f9fe25c1a462ec037582f35eae542cc0723ca.tar.bz2 |
Include the ocaml version in unison -version.
Diffstat (limited to 'src')
-rw-r--r-- | src/uutil.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/uutil.ml b/src/uutil.ml index b0c7c70..5901ccb 100644 --- a/src/uutil.ml +++ b/src/uutil.ml @@ -22,7 +22,7 @@ let myName = ProjectInfo.myName -let myVersion = ProjectInfo.myVersion +let myVersion = ProjectInfo.myVersion ^ " (ocaml " ^ Sys.ocaml_version ^ ")" let myMajorVersion = ProjectInfo.myMajorVersion |