From 5fa08a5dd84f38d311dccfc1de5c1a204b6042b6 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 13 Jul 2017 16:48:34 +0200
Subject: Adding -print-version in addition to -print-version for consistency.

---
 tools/coqc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/coqc.ml b/tools/coqc.ml
index 5da203742c..0559d7b537 100644
--- a/tools/coqc.ml
+++ b/tools/coqc.ml
@@ -86,7 +86,7 @@ let parse_args () =
         Envars.print_config stdout Coq_config.all_src_dirs;
         exit 0
       
-    |"--print-version" :: _ ->
+    | ("-print-version" | "--print-version") :: _ ->
         Usage.machine_readable_version 0
 
 (* Options for coqtop : a) options with 0 argument *)
-- 
cgit v1.2.3