src/HOLCF/ax_ops/thy_syntax.ML
changeset 3609 5756c98ebf1f
parent 1461 6bcb44e4d6e5
child 3618 1e7621573d9c
--- a/src/HOLCF/ax_ops/thy_syntax.ML	Wed Aug 06 00:37:21 1997 +0200
+++ b/src/HOLCF/ax_ops/thy_syntax.ML	Wed Aug 06 00:39:13 1997 +0200
@@ -33,4 +33,4 @@
 end;
 
 structure ThySyn = ThySynFun(ThySynData);
-init_thy_reader ();
+set_parser ThySyn.parse;