# HG changeset patch
# User wenzelm
# Date 781976092 -3600
# Node ID b26753b92f98ad322d3fbbe3d0226481f9e2e215
# Parent  c88d56f7f33bed05243971dd718e9e9449e3e30a
removed old comment;

diff -r c88d56f7f33b -r b26753b92f98 src/Pure/Syntax/type_ext.ML
--- a/src/Pure/Syntax/type_ext.ML	Wed Oct 12 16:34:00 1994 +0100
+++ b/src/Pure/Syntax/type_ext.ML	Wed Oct 12 16:34:52 1994 +0100
@@ -3,9 +3,6 @@
     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 The concrete syntax of types (used to bootstrap Pure).
-
-TODO:
-  term_of_typ: prune sorts
 *)
 
 signature TYPE_EXT0 =