From 5d7b3286fccc9d353b58b5074ccff20e709c097f Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 13 Nov 2002 10:23:30 +0000
Subject: Un revenant hors sujet

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3227 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/multcase.mli | 27 ---------------------------
 1 file changed, 27 deletions(-)
 delete mode 100644 pretyping/multcase.mli

diff --git a/pretyping/multcase.mli b/pretyping/multcase.mli
deleted file mode 100644
index a71fdf0be9..0000000000
--- a/pretyping/multcase.mli
+++ /dev/null
@@ -1,27 +0,0 @@
-(***********************************************************************)
-(*  v      *   The Coq Proof Assistant  /  The Coq Development Team    *)
-(* <O___,, *        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              *)
-(*   \VV/  *************************************************************)
-(*    //   *      This file is distributed under the terms of the      *)
-(*         *       GNU Lesser General Public License Version 2.1       *)
-(***********************************************************************)
-
-(*i $Id$ i*)
-
-(*i*)
-open Names
-open Term
-open Evd
-open Environ
-open Rawterm
-open Evarutil
-(*i*)
-
-(* Compilation of pattern-matching. *)
-
-val compile_multcase :
-  (trad_constraint -> env -> rawconstr -> unsafe_judgment)
-  * 'a evar_defs -> trad_constraint -> env ->
-    rawconstr option * rawconstr list *
-    (identifier list * pattern list * rawconstr) list ->
-    unsafe_judgment
-- 
cgit v1.2.3