--- a/src/Pure/Syntax/syn_trans.ML Mon Mar 21 21:05:08 2011 +0100
+++ b/src/Pure/Syntax/syn_trans.ML Mon Mar 21 21:16:39 2011 +0100
@@ -347,10 +347,8 @@
(* idtyp constraints *)
-fun idtyp_ast_tr' a [Ast.Appl [Ast.Constant c, x, ty], xs] =
- if c = "_constrain" then
- Ast.Appl [Ast.Constant a, Ast.Appl [Ast.Constant "_idtyp", x, ty], xs]
- else raise Match
+fun idtyp_ast_tr' a [Ast.Appl [Ast.Constant "_constrain", x, ty], xs] =
+ Ast.Appl [Ast.Constant a, Ast.Appl [Ast.Constant "_idtyp", x, ty], xs]
| idtyp_ast_tr' _ _ = raise Match;