From a0cfa4f118023d35b767a999d5a2ac4b082857b4 Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 25 Jul 2008 15:12:53 +0200
Subject: Imported Upstream version 8.2~beta3+dfsg

---
 scripts/coqc.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'scripts/coqc.ml')

diff --git a/scripts/coqc.ml b/scripts/coqc.ml
index cbcb6b4c..41fb0803 100644
--- a/scripts/coqc.ml
+++ b/scripts/coqc.ml
@@ -158,13 +158,13 @@ let parse_args () =
       | "-unboxed-values" | "-unboxed-definitions" | "-draw-vm-instr" 
 	  as o) :: rem ->
 	parse (cfiles,o::args) rem
-    | ("-v"|"--version") :: _ ->
-        Usage.version ()
     | "-where" :: _ -> 
-	let coqlib =
+	let coqlib = 
 	  try Sys.getenv "COQLIB" with Not_found -> Coq_config.coqlib 
 	in
 	  print_endline coqlib; exit 0
+    | ("-v"|"--version") :: _ ->
+        Usage.version ()
     | f :: rem -> 
 	if Sys.file_exists f then
 	  parse (f::cfiles,args) rem
-- 
cgit v1.2.3