src/HOL/ROOT

--- a/src/HOL/ROOT	Tue Oct 31 13:59:19 2017 +0000
+++ b/src/HOL/ROOT	Tue Oct 31 15:13:08 2017 +0100
@@ -232,7 +232,6 @@
   document_files "root.bib" "root.tex"
 
 session "HOL-Codegenerator_Test" in Codegenerator_Test = "HOL-Number_Theory" +
-  options [browser_info = false]
   sessions
     "HOL-Data_Structures"
     "HOL-ex"