--- a/src/Pure/Isar/context_rules.ML Tue May 17 10:19:43 2005 +0200
+++ b/src/Pure/Isar/context_rules.ML Tue May 17 10:19:44 2005 +0200
@@ -111,7 +111,7 @@
fun print_rules prt x (Rules {rules, ...}) =
let
fun prt_kind (i, b) =
- Pretty.big_list (valOf (assoc (kind_names, (i, b))) ^ ":")
+ Pretty.big_list (the (assoc (kind_names, (i, b))) ^ ":")
(List.mapPartial (fn (_, (k, th)) => if k = (i, b) then SOME (prt x th) else NONE)
(sort (Int.compare o pairself fst) rules));
in Pretty.writeln (Pretty.chunks (map prt_kind rule_kinds)) end;