--- a/src/Tools/Code/code_target.ML Thu Apr 19 08:45:13 2012 +0200
+++ b/src/Tools/Code/code_target.ML Thu Apr 19 10:16:51 2012 +0200
@@ -270,7 +270,7 @@
fun activate_target thy target =
let
- val ((targets, abortable), default_width) = Targets.get thy;
+ val ((_, abortable), default_width) = Targets.get thy;
val (modify, data) = collapse_hierarchy thy target;
in (default_width, abortable, data, modify) end;
@@ -630,7 +630,7 @@
local
-fun zip_list (x::xs) f g =
+fun zip_list (x :: xs) f g =
f
:|-- (fn y =>
fold_map (fn x => g |-- f >> pair x) xs