src/Pure/net.ML
changeset 1500 b2de3b3277b8
parent 1460 5a6f2aabd538
child 2226 f3c6a22681b1
--- a/src/Pure/net.ML	Fri Feb 16 12:08:49 1996 +0100
+++ b/src/Pure/net.ML	Fri Feb 16 12:19:47 1996 +0100
@@ -31,7 +31,7 @@
   end;
 
 
-functor NetFun () : NET = 
+structure Net : NET = 
 struct
 
 datatype key = CombK | VarK | AtomK of string;