diff options
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/CommonOptions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/CommonOptions.ml b/driver/CommonOptions.ml index 839bad1b..5993c68d 100644 --- a/driver/CommonOptions.ml +++ b/driver/CommonOptions.ml @@ -27,7 +27,7 @@ let print_version_and_exit tool_name () = let version_file_string tool_name = if Version.buildnr <> "" && Version.tag <> "" then - Printf.sprintf "This is CompCert %s,\nVersion: %s,\nBuild: %s,\nTag: %s,\nBranch: %s\n" + Printf.sprintf "This is CompCert %s\nVersion: %s\nBuild: %s\nTag: %s\nBranch: %s\n" tool_name Version.version Version.buildnr Version.tag Version.branch else Printf.sprintf "The CompCert %s,\nversion %s\n" tool_name Version.version |