From 6903cff15e6a66982513f5fe1511ed70eb781cbd Mon Sep 17 00:00:00 2001
From: Christoph Cullmann <cullmann@kde.org>
Date: Thu, 30 Jul 2020 09:59:14 +0200
Subject: Add missing comment for print_version_file_and_exit

---
 driver/CommonOptions.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'driver')

diff --git a/driver/CommonOptions.ml b/driver/CommonOptions.ml
index 5993c68d..cbc04a44 100644
--- a/driver/CommonOptions.ml
+++ b/driver/CommonOptions.ml
@@ -32,6 +32,7 @@ let version_file_string tool_name =
   else
     Printf.sprintf "The CompCert %s,\nversion %s\n" tool_name Version.version
 
+(* Print the version string to a file and exit the program *)
 let print_version_file_and_exit tool_name file =
   let oc = open_out_bin file in
   output_string oc (version_file_string tool_name);
-- 
cgit