--- a/src/HOL/Tools/watcher.ML Fri May 16 23:25:37 2008 +0200
+++ b/src/HOL/Tools/watcher.ML Sat May 17 13:54:30 2008 +0200
@@ -343,10 +343,10 @@
handle OS.SysErr _ => ()
fun string_of_subgoal th i =
- string_of_cterm (List.nth(cprems_of th, i-1))
+ Display.string_of_cterm (List.nth(cprems_of th, i-1))
handle Subscript => "Subgoal number out of range!"
-fun prems_string_of th = space_implode "\n" (map string_of_cterm (cprems_of th))
+fun prems_string_of th = space_implode "\n" (map Display.string_of_cterm (cprems_of th))
fun read_proof probfile =
let val p = ResReconstruct.txt_path probfile