changeset 17615 | 3c5b158be33c |
parent 16975 | 34ed8d5d4f16 |
child 17959 | 8db36a108213 |
--- a/TFL/post.ML Fri Sep 23 22:21:54 2005 +0200 +++ b/TFL/post.ML Fri Sep 23 22:21:55 2005 +0200 @@ -216,7 +216,7 @@ (* if there's an error, pretend nothing happened with this definition We should probably print something out so that the user knows...? *) handle ERROR_MESSAGE s => - (writeln ("WARNING:post.ML:solve_eq: " ^ s); map (fn x => (x,i)) splitths); + (warning ("recdef (solve_eq): " ^ s); map (fn x => (x,i)) splitths); in fun derive_init_eqs sgn rules eqs = let