src/Pure/Thy/thy_parse.ML

         \\n"
         ^ extxt ^ "\n\
         \\n\
         \|> add_thyname " ^ quote thy_name ^ ";\n\
         \\n\
-        \val () = store_theory (thy, " ^ quote thy_name ^ ");\n\
+        \val _ = store_theory (thy, " ^ quote thy_name ^ ");\n\
         \\n\
         \\n"
         ^ postxt ^ "\n\
         \\n\
         \end;\n\

         \structure " ^ thy_name ^ " =\n\
         \struct\n\
         \\n\
         \val thy = thy\n\
         \\n\
-        \val () = store_theory (thy, " ^ quote thy_name ^ ");\n\
+        \val _ = store_theory (thy, " ^ quote thy_name ^ ");\n\
         \\n\
         \end;\n");
 
 fun theory_defn sectab tname =
   header -- optional (extension sectab >> Some) None -- eof