src/HOL/HOLCF/Cfun.thy
changeset 42264 b6c1b0c4c511
parent 42224 578a51fae383
child 42284 326f57825e1a
     1.1 --- a/src/HOL/HOLCF/Cfun.thy	Wed Apr 06 22:25:44 2011 +0200
     1.2 +++ b/src/HOL/HOLCF/Cfun.thy	Wed Apr 06 23:04:00 2011 +0200
     1.3 @@ -57,7 +57,7 @@
     1.4    let
     1.5      fun Lambda_ast_tr [pats, body] =
     1.6            Ast.fold_ast_p @{syntax_const "_cabs"}
     1.7 -            (Ast.unfold_ast @{syntax_const "_cargs"} (Syntax.strip_positions_ast pats), body)
     1.8 +            (Ast.unfold_ast @{syntax_const "_cargs"} (Ast.strip_positions pats), body)
     1.9        | Lambda_ast_tr asts = raise Ast.AST ("Lambda_ast_tr", asts);
    1.10    in [(@{syntax_const "_Lambda"}, Lambda_ast_tr)] end;
    1.11  *}