From ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 15 Mar 2004 17:00:28 +0000
Subject: preparation pour release (suite)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/interface/xlate.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'contrib/interface')

diff --git a/contrib/interface/xlate.ml b/contrib/interface/xlate.ml
index a388605ad3..3855ca4925 100644
--- a/contrib/interface/xlate.ml
+++ b/contrib/interface/xlate.ml
@@ -308,7 +308,6 @@ and xlate_return_info = function
    CT_coerce_NONE_to_RETURN_INFO CT_none
 | (None, Some t) -> CT_return(xlate_formula t)
 | (Some x, Some t) -> CT_as_and_return(xlate_id_opt_aux x, xlate_formula t)
-| (Some Anonymous, None) -> CT_coerce_NONE_to_RETURN_INFO CT_none
 | (Some _, None) -> assert false
 and xlate_formula_opt =
   function
-- 
cgit v1.2.3