# HG changeset patch
# User haftmann
# Date 1179567214 -7200
# Node ID d8c4a02e992a54423d7875c5a3041aaa3a5d1216
# Parent  2ca26515625629e60dfbdab32baceae0f191ed7a
fixed comment

diff -r 2ca265156256 -r d8c4a02e992a src/Pure/Tools/codegen_thingol.ML
--- a/src/Pure/Tools/codegen_thingol.ML	Sat May 19 11:33:33 2007 +0200
+++ b/src/Pure/Tools/codegen_thingol.ML	Sat May 19 11:33:34 2007 +0200
@@ -2,7 +2,7 @@
     ID:         $Id$
     Author:     Florian Haftmann, TU Muenchen
 
-Intermediate language ("Thin-gol") representing extracted code.
+Intermediate language ("Thin-gol") representing executable code.
 *)
 
 infix 8 `%%;