# HG changeset patch
# User wenzelm
# Date 847978731 -3600
# Node ID 07c471510cf1f97ec01f6b827a01ae0a47da478d
# Parent  35ade49419047bf9a66ce373180badef48af6081
removed 'open Syntax Type';

diff -r 35ade4941904 -r 07c471510cf1 src/Pure/sign.ML
--- a/src/Pure/sign.ML	Thu Nov 14 14:32:01 1996 +0100
+++ b/src/Pure/sign.ML	Thu Nov 14 14:38:51 1996 +0100
@@ -70,8 +70,6 @@
 structure Sign : SIGN =
 struct
 
-(*local open Type Syntax in*)
-
 (** datatype sg **)
 
 (*the "ref" in stamps ensures that no two signatures are identical -- it is
@@ -623,5 +621,4 @@
   |> add_syntax Syntax.pure_applC_syntax
   |> add_name "CPure";
 
-(*end*)
 end;