From 47670a856c53fad0a5d43b01d9d09115d48d64f7 Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 18 Feb 2002 10:35:29 +0000
Subject: but de CutRewrite <- (assert false)

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

diff --git a/tactics/equality.ml b/tactics/equality.ml
index 763ca14c3c..ee2c9c450e 100644
--- a/tactics/equality.ml
+++ b/tactics/equality.ml
@@ -1336,6 +1336,7 @@ let substConcl_RL_tac =
       (function 
 	 | [Command eqn] -> 
 	     (fun gls ->  substConcl_RL (pf_interp_constr gls eqn)  gls)
+         | [Constr c] -> substConcl_RL c
 	 | _ -> assert false)
   in 
   fun eqn  -> gentac [Command eqn] 
-- 
cgit v1.2.3