changeset 44986 | 6f27ecf2a951 |
parent 44389 | a3b5fdfb04a3 |
child 48445 | cb4136e4cabf |
--- a/src/Pure/Thy/present.ML Mon Sep 19 12:58:52 2011 +0200 +++ b/src/Pure/Thy/present.ML Mon Sep 19 14:31:20 2011 +0200 @@ -499,8 +499,8 @@ val base = Path.base path; val name = (case Path.implode (#1 (Path.split_ext base)) of - "" => "DUMMY" ^ serial_string () - | s => s); + "" => "DUMMY" + | s => s) ^ serial_string (); in if File.exists path then (((name, base, File.read path), (i, Latex.theory_entry name)), i + 1)