From cfbfe13f5b515ae2e3c6cdd97e2ccee03bc26e56 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Sun, 1 Feb 2009 00:54:40 +0100
Subject: Imported Upstream version 8.2~rc2+dfsg

---
 tactics/elim.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tactics/elim.ml')

diff --git a/tactics/elim.ml b/tactics/elim.ml
index 55df0f0a..fa4a7caa 100644
--- a/tactics/elim.ml
+++ b/tactics/elim.ml
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(* $Id: elim.ml 11309 2008-08-06 10:30:35Z herbelin $ *)
+(* $Id: elim.ml 11739 2009-01-02 19:33:19Z herbelin $ *)
 
 open Pp
 open Util
@@ -128,7 +128,7 @@ let decompose_nonrec c gls =
 
 let decompose_and c gls = 
   general_decompose 
-    (fun (_,t) -> is_conjunction t)
+    (fun (_,t) -> is_record t)
     c gls
 
 let decompose_or c gls = 
-- 
cgit v1.2.3