Commit ec7d4eee authored by nipkow's avatar nipkow
Browse files

probable fix suggested by Cornelius for the changes in the vicinity of 2cd23d587db9

parent 9ce1745d994d
......@@ -9,7 +9,7 @@ setup \<open>fn thy =>
val package = "package tum.in.net.psn.log_topo.SecurityInvariants.GENERATED";
val date = Date.toString (Date.fromTimeLocal (Time.now ()));
val export_file = Context.theory_name thy ^ ".thy";
val header = package ^ "\n" ^ "// Generated by Isabelle (" ^ Distribution.version ^ ") on " ^ date ^ "\n" ^ "// src: " ^ export_file ^ "\n";
val header = package ^ "\n" ^ "// Generated by Isabelle (" ^ Isabelle_System.isabelle_heading () ^ ") on " ^ date ^ "\n" ^ "// src: " ^ export_file ^ "\n";
in
Code_Target.set_printings (Code_Symbol.Module ("", [("Scala", SOME (header, []))])) thy
end
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment