# HG changeset patch
# User huffman
# Date 1112229886 -7200
# Node ID 1fb24e545f88811b3c68ff3fc969ccbb3aef8511
# Parent  d2a06007ebfaef62ae7884726138b556af69203a
fixed bug in prj' function

diff -r d2a06007ebfa -r 1fb24e545f88 src/HOLCF/domain/library.ML
--- a/src/HOLCF/domain/library.ML	Thu Mar 31 00:10:35 2005 +0200
+++ b/src/HOLCF/domain/library.ML	Thu Mar 31 02:44:46 2005 +0200
@@ -160,7 +160,7 @@
 fun cproj x      = prj (fn S => K(%%:"cfst"`S)) (fn S => K(%%:"csnd"`S)) x;
 fun prj' _  _  x (   _::[]) _ = x
 |   prj' f1 _  x (_::   ys) 0 = f1 x (foldr' mk_prodT ys)
-|   prj' f1 f2 x (y::   ys) j = prj f1 f2 (f2 x y) ys (j-1);
+|   prj' f1 f2 x (y::   ys) j = prj' f1 f2 (f2 x y) ys (j-1);
 fun cproj' T eqs = prj'
 	(fn S => fn t => Const("cfst",mk_prodT(dummyT,t)->>dummyT)`S)
 	(fn S => fn t => Const("csnd",mk_prodT(t,dummyT)->>dummyT)`S)