]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/configuration/helm-config.in
ocaml 3.09 transition
[helm.git] / helm / configuration / helm-config.in
index bfc2571908d69bf09a8df3fac98c534fa41b6b3a..3b569dec94fc89b8feba67813dc218ba7edc4461 100644 (file)
@@ -34,7 +34,7 @@ while test $# -gt 0; do
 
   case $1 in
     --version)
-      echo @HELM_VERSION@
+      echo @VERSION@
       ;;
     --prefix)
       echo @RESOLVED_PREFIX@