# HG changeset patch
# User haftmann
# Date 1199788652 -3600
# Node ID a141d6bfd3980dd6b07c171613f85294ea29f4c7
# Parent  11f531354852d2bc42333bc69b714dcfbf950241
tuned comment

diff -r 11f531354852 -r a141d6bfd398 src/Tools/nbe.ML
--- a/src/Tools/nbe.ML	Tue Jan 08 11:37:30 2008 +0100
+++ b/src/Tools/nbe.ML	Tue Jan 08 11:37:32 2008 +0100
@@ -152,7 +152,7 @@
       Output.tracing o enclose "\n--- compiler echo (with error):\n" "\n---\n")
       (!trace) ("Nbe.univs_ref", univs_ref);
 
-(* code generation with greetings to Tarski *)
+(* code generation *)
 
 fun assemble_idict (DictConst (inst, dss)) =
       nbe_apps (nbe_fun inst) ((maps o map) assemble_idict dss)