From bdbe617da66a314ab88eddfc796de1549359779e Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 23 Apr 2001 14:52:51 +0000
Subject: un warning pas beau supprimmé

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

diff --git a/parsing/termast.ml b/parsing/termast.ml
index 7b7ad5848c..18ef4b3ac2 100644
--- a/parsing/termast.ml
+++ b/parsing/termast.ml
@@ -219,7 +219,7 @@ let rec ast_of_raw = function
       ope(tag,pred::asttomatch::asteqns)
 	
   | ROldCase (_,isrec,typopt,tm,bv) ->
-      warning "Old Case syntax";
+      (* warning "Old Case syntax"; *)
       ope("CASE",(ast_of_rawopt typopt)
 	    ::(ast_of_raw tm)
 	    ::(Array.to_list (Array.map ast_of_raw bv)))
-- 
cgit v1.2.3