diff options
| author | barras | 2004-03-15 17:00:28 +0000 |
|---|---|---|
| committer | barras | 2004-03-15 17:00:28 +0000 |
| commit | ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e (patch) | |
| tree | ec2a8a0ef223b0aa284397c439cfd3c2252d2b64 /contrib/interface | |
| parent | 2b392931c8db9c8395a03b5f36b16264e4bddf86 (diff) | |
preparation pour release (suite)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/interface')
| -rw-r--r-- | contrib/interface/xlate.ml | 1 |
1 files changed, 0 insertions, 1 deletions
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 |