# HG changeset patch
# User oheimb
# Date 835803454 -7200
# Node ID d022c10d2c08b8eb51b023626a861f6a315864ff
# Parent  724e7d8990eaf1fd99ea5dfde19885283b5f577a
when_funs removed

diff -r 724e7d8990ea -r d022c10d2c08 src/HOLCF/domain/library.ML
--- a/src/HOLCF/domain/library.ML	Tue Jun 25 18:01:37 1996 +0200
+++ b/src/HOLCF/domain/library.ML	Wed Jun 26 17:37:34 1996 +0200
@@ -178,8 +178,6 @@
 |   cont_eta_contract t    = t;
 
 fun idx_name dnames s n = s^(if length dnames = 1 then "" else string_of_int n);
-fun when_funs cons = if length cons = 1 then ["f"] 
-		     else mapn (fn n => K("f"^(string_of_int n))) 1 cons;
 fun when_body cons funarg = let
 	fun one_fun n (_,[]  ) = /\ "dummy" (funarg(1,n))
 	|   one_fun n (_,args) = let