diff --git a/clangml-transforms/for_memcad.ml b/clangml-transforms/for_memcad.ml index 4aff5c005da967136573aa344d2837dc31ff1f84..d8bec3d00f5183deee5291f99b90c77758a6f1ec 100644 --- a/clangml-transforms/for_memcad.ml +++ b/clangml-transforms/for_memcad.ml @@ -17,11 +17,7 @@ let fresh_var_name () = let declare_tmp qual_type = let tmp = fresh_var_name () in let decl_tmp = Clang.Ast.node ~qual_type (Clang.Ast.Decl [ - Clang.Ast.node ~qual_type (Clang.Ast.Var { - linkage = NoLinkage; - var_name = tmp; - var_type = qual_type; - var_init = None })]) in + Clang.Ast.node ~qual_type (Clang.Ast.Var (Clang.Ast.var tmp qual_type))]) in let tmp_var = Clang.Ast.node ~qual_type (Clang.Ast.DeclRef (Ident tmp)) in tmp_var, decl_tmp