src/Tools/WWW_Find/find_theorems.ML

--- a/src/Tools/WWW_Find/find_theorems.ML	Fri Apr 08 15:02:11 2011 +0200
+++ b/src/Tools/WWW_Find/find_theorems.ML	Fri Apr 08 15:48:14 2011 +0200
@@ -236,7 +236,7 @@
   end;
 in
 
-val () = show_question_marks_default := false;
+val () = Printer.show_question_marks_default := false;
 val () = ScgiServer.register (find_theorems_url, SOME Mime.html, find_theorems);
 
 end;