--- a/src/Pure/Syntax/syn_ext.ML Wed Jan 18 10:17:55 1995 +0100
+++ b/src/Pure/Syntax/syn_ext.ML Wed Jan 18 11:36:04 1995 +0100
@@ -151,13 +151,14 @@
(* typ_to_nonterm *)
+fun typ_to_nt _ (Type (c, _)) = c
+ | typ_to_nt default _ = default;
+
(*get nonterminal for rhs*)
-fun typ_to_nonterm (Type (c, _)) = c
- | typ_to_nonterm _ = any;
+val typ_to_nonterm = typ_to_nt any;
(*get nonterminal for lhs*)
-fun typ_to_nonterm1 (Type (c, _)) = c
- | typ_to_nonterm1 _ = logic;
+val typ_to_nonterm1 = typ_to_nt logic;
(* mfix_to_xprod *)