changeset 15531 | 08c8dad8e399 |
parent 15178 | 5f621aa35c25 |
child 15570 | 8d8c70b41bab |
--- a/src/HOL/Matrix/codegen_prep.ML Fri Feb 11 18:51:00 2005 +0100 +++ b/src/HOL/Matrix/codegen_prep.ML Sun Feb 13 17:15:14 2005 +0100 @@ -74,8 +74,8 @@ val key = f x in case assoc (g, key) of - None => (key, [x])::g - | Some l => overwrite (g, (key, x::l)) + NONE => (key, [x])::g + | SOME l => overwrite (g, (key, x::l)) end fun prepare_thms ths =