From 7da87c68444558218bca2a3b070086712d727bcc Mon Sep 17 00:00:00 2001
From: desmettr
Date: Wed, 5 Feb 2003 15:52:31 +0000
Subject: Ajout du traducteur

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3664 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqc.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'scripts')

diff --git a/scripts/coqc.ml b/scripts/coqc.ml
index 4234216fa5..641a3cf6d7 100644
--- a/scripts/coqc.ml
+++ b/scripts/coqc.ml
@@ -108,6 +108,8 @@ let parse_args () =
 	keep := true ; parse (cfiles,args) rem
     | ("-verbose" | "--verbose") :: rem -> 
 	verbose := true ; parse (cfiles,args) rem
+    | "-translate" :: rem ->
+	parse (cfiles,"-ftranslate"::args) rem
     | "-boot" :: rem ->
 	bindir:= Filename.concat Coq_config.coqtop "bin";
 	parse (cfiles, "-boot"::args) rem
-- 
cgit v1.2.3