From 49ff77f9efbcb4dfeb0600186571fcf9a224f4f3 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 25 Mar 2019 15:26:02 +0100
Subject: [PATCH 1/1] There's a nice sg_version(), use it.

---
 src/simgrid/sg_config.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simgrid/sg_config.cpp b/src/simgrid/sg_config.cpp
index aad9dd65fa..6358b596a1 100644
--- a/src/simgrid/sg_config.cpp
+++ b/src/simgrid/sg_config.cpp
@@ -69,7 +69,7 @@ static void sg_config_cmd_line(int *argc, char **argv)
       simgrid::config::set_parse(opt);
       XBT_DEBUG("Did apply '%s' as config setting", opt);
     } else if (parse_args && not strcmp(argv[i], "--version")) {
-      printf("%s\n", SIMGRID_VERSION_STRING);
+      sg_version();
       shall_exit = true;
     } else if (parse_args && (not strcmp(argv[i], "--cfg-help") || not strcmp(argv[i], "--help"))) {
       printf("Description of the configuration accepted by this simulator:\n");
-- 
2.20.1