From 414ff8b0a4bf9aaec16bfdbc33c717c28d4d095b Mon Sep 17 00:00:00 2001
From: jforest
Date: Mon, 22 May 2006 15:14:07 +0000
Subject: LetTuple are now supported in Function

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8841 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/funind/rawtermops.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'contrib/funind/rawtermops.ml')

diff --git a/contrib/funind/rawtermops.ml b/contrib/funind/rawtermops.ml
index f99aa86c8b..92efd3b470 100644
--- a/contrib/funind/rawtermops.ml
+++ b/contrib/funind/rawtermops.ml
@@ -109,7 +109,9 @@ let change_vars =
 		 change_vars mapping def,
 		 change_vars mapping b
 		)
-      | RLetTuple(_,nal,(na,_),_,_) when List.exists (function Name id -> Idmap.mem id mapping | _ -> false) (na::nal) -> rt 
+      | RLetTuple(_,nal,(na,_),_,_) when 
+	  List.exists (function Name id -> Idmap.mem id mapping | _ -> false) (na::nal) -> 
+	  rt 
       | RLetTuple(loc,nal,(na,rto),b,e) -> 
 	  RLetTuple(loc,
 		    nal, 
-- 
cgit v1.2.3