| changeset 33096 | db3c18fd9708 |
| parent 33095 | bbd52d2f8696 |
| child 33159 | 369da293bbd4 |
--- a/src/Pure/simplifier.ML Sat Oct 24 19:47:37 2009 +0200 +++ b/src/Pure/simplifier.ML Sat Oct 24 20:54:08 2009 +0200 @@ -148,7 +148,7 @@ structure Simprocs = GenericDataFun ( type T = simproc Name_Space.table; - val empty = Name_Space.empty_table; + val empty = Name_Space.empty_table "simproc"; val extend = I; fun merge _ simprocs = Name_Space.merge_tables simprocs; );