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