From 1b01b3bad1816aca956e624795fa5c555f629d4e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 25 Jul 2008 20:00:40 +0000
Subject: Suite 11266 (warning tools/gallina.ml)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11267 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 tools/gallina_lexer.mll | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/gallina_lexer.mll b/tools/gallina_lexer.mll
index aacc688024..b47a04b2c1 100644
--- a/tools/gallina_lexer.mll
+++ b/tools/gallina_lexer.mll
@@ -51,7 +51,7 @@ rule action = parse
 		cRcpt := 0; action lexbuf }
   | [' ' '\t']* '\n'      { if !cRcpt < 2 then print "\n";
       	       	       	    cRcpt := !cRcpt+1; action lexbuf}
-  | eof       { raise Fin_fichier}
+  | eof       { (raise Fin_fichier : unit)}
   | _         { print (Lexing.lexeme lexbuf); cRcpt := 0; action lexbuf }
 
 and comment = parse
-- 
cgit v1.2.3