# HG changeset patch
# User wenzelm
# Date 882369802 -3600
# Node ID 4bc296026b226ba05d2edc80c416014b46dd81b0
# Parent  5c26253b8a2e99bfe835ec958b4f1dab403642ad
tuned tmp file name;

diff -r 5c26253b8a2e -r 4bc296026b22 src/Pure/Thy/thy_read.ML
--- a/src/Pure/Thy/thy_read.ML	Wed Dec 17 14:57:26 1997 +0100
+++ b/src/Pure/Thy/thy_read.ML	Wed Dec 17 15:43:22 1997 +0100
@@ -49,7 +49,7 @@
        
 
 (*Make name of the TextIO.output ML file for a theory *)
-fun out_name tname = File.tmp_name (tname ^ ".thy.ML");
+fun out_name tname = File.tmp_name (tname ^ "_thy.ML");
 
 
 (*Read a file specified by thy_file containing theory tname*)