--- a/src/HOL/Library/code_test.ML Thu Sep 24 19:33:33 2020 +0200
+++ b/src/HOL/Library/code_test.ML Thu Sep 24 19:54:12 2020 +0200
@@ -300,7 +300,7 @@
val driver_path = Path.append dir (Path.basic "driver.sml")
val out_path = Path.append dir (Path.basic "out")
val driver = \<^verbatim>\<open>
-fun main prog_name =
+fun main () =
let
fun format (true, _) = \<close> ^ ML_Syntax.print_string successN ^ \<^verbatim>\<open> ^ "\n"
| format (false, NONE) = \<close> ^ ML_Syntax.print_string failureN ^ \<^verbatim>\<open> ^ "\n"
@@ -382,7 +382,7 @@
val driver_path = Path.append dir (Path.basic driverN)
val driver =
"structure Test = struct\n" ^
- "fun main prog_name =\n" ^
+ "fun main () =\n" ^
" let\n" ^
" fun format_term NONE = \"\"\n" ^
" | format_term (SOME t) = t ();\n" ^