From 3636d52354226848ef89fbe4539cfa4e5daaa170 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 15 Mar 2007 16:36:15 +0000
Subject: Suppression argument pattern_source du case_info (code jamais
 utilisé)

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

(limited to 'proofs')

diff --git a/proofs/logic.ml b/proofs/logic.ml
index 7c149e9647..d86b2c07de 100644
--- a/proofs/logic.ml
+++ b/proofs/logic.ml
@@ -553,7 +553,7 @@ e types")
         let cl' = replace_vars [id1,mkVar id2] cl in
           ([mk_goal sign' cl'], sigma)
 
-    | Change_evars as r ->
+    | Change_evars ->
         match norm_goal sigma goal with
 	    Some ngl -> ([ngl],sigma)
           | None -> ([goal], sigma)
-- 
cgit v1.2.3