src/Pure/deriv.ML
changeset 2672 85d7e800d754
parent 2042 33b4c1624e26
child 6085 3d8dcb09dbfb
     1.1 --- a/src/Pure/deriv.ML	Fri Feb 21 15:30:41 1997 +0100
     1.2 +++ b/src/Pure/deriv.ML	Fri Feb 21 15:31:47 1997 +0100
     1.3 @@ -38,7 +38,7 @@
     1.4  	Join (Bicompose arg, linear rder) :: rev_deriv sder
     1.5    | rev_deriv (Join (_, [der]))	= rev_deriv der
     1.6    | rev_deriv (Join (rl, der::ders)) =	(*catch-all case; doubtful?*)
     1.7 -        Join(rl, flat (map linear ders)) :: rev_deriv der
     1.8 +        Join(rl, List.concat (map linear ders)) :: rev_deriv der
     1.9  and linear der 	= rev (rev_deriv der);
    1.10  
    1.11