src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Jul 24 21:07:54 2012 +0200
+++ b/src/HOL/ROOT	Tue Jul 24 21:26:28 2012 +0200
@@ -693,7 +693,7 @@
     "RIPEMD-160/rmd/s_r.siv"
 
 session Manual in "SPARK/Manual" = "HOL-SPARK" +
-  (* FIXME Printer.show_question_marks_default := false; *)
+  options [show_question_marks = false]
   theories
     Example_Verification
     VC_Principles