changeset 15570 | 8d8c70b41bab |
parent 15531 | 08c8dad8e399 |
child 17325 | d9d50222808e |
--- a/src/FOLP/simpdata.ML Thu Mar 03 09:22:35 2005 +0100 +++ b/src/FOLP/simpdata.ML Thu Mar 03 12:43:01 2005 +0100 @@ -85,7 +85,7 @@ (case head_of p of Const(a,_) => (case assoc(pairs,a) of - SOME(rls) => flat (map atoms ([th] RL rls)) + SOME(rls) => List.concat (map atoms ([th] RL rls)) | NONE => [th]) | _ => [th]) | _ => [th])