diff --git a/src/dune b/src/dune index 011251644..f820d9d86 100644 --- a/src/dune +++ b/src/dune @@ -11,7 +11,7 @@ version2.ml (progn (run echo let version = "\"") - (run echo Version) + (run echo 'Version ') (run git rev-parse --abbrev-ref HEAD) (run echo , " ") (run git rev-parse --short HEAD)