| changeset 4367 | 2f0c174036dc |
| parent 4218 | eff39c3ce72f |
| child 4429 | 4bc296026b22 |
--- a/src/Pure/Thy/thy_read.ML Thu Dec 04 14:11:37 1997 +0100 +++ b/src/Pure/Thy/thy_read.ML Fri Dec 05 08:01:03 1997 +0100 @@ -49,7 +49,7 @@ (*Make name of the TextIO.output ML file for a theory *) -fun out_name tname = "." ^ tname ^ ".thy.ML"; +fun out_name tname = File.tmp_name (tname ^ ".thy.ML"); (*Read a file specified by thy_file containing theory tname*)