From 1d641d1c2fcd97b6fd60369de8b4a7e6a26b1051 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 6 Apr 2001 12:45:24 +0000
Subject: bug Print Proof; usage coqtop/coqc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1552 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/coqdep_lexer.mll | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll
index 9c4c482fbb..29e4b04a32 100755
--- a/tools/coqdep_lexer.mll
+++ b/tools/coqdep_lexer.mll
@@ -5,10 +5,11 @@
 (*    //   *      This file is distributed under the terms of the      *)
 (*         *       GNU Lesser General Public License Version 2.1       *)
 (***********************************************************************)
+
+(*i $Id$ i*)
+  
 {
  
-  (* $Id: *)
-  
   open Lexing
    
   type mL_token = Use_module of string
-- 
cgit v1.2.3