Refactor: Rename 'a defs to 'a ast

Change internal terminology so we more clearly distinguish between a list of
definitions 'defs' and functions that take an entire abstract syntax
trees 'ast'.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/splice.ml b/src/splice.ml
index 6198a4c7..cb3307d9 100644
--- a/src/splice.ml
+++ b/src/splice.ml
@@ -46,7 +46,7 @@ let splice ast file =
   let parsed_ast = Process_file.parse_file file |> snd in
   let repl_ast = Initial_check.process_ast ~generate:false (Parse_ast.Defs [(file, parsed_ast)]) in
   let repl_ast = Rewrites.move_loop_measures repl_ast in
-  let repl_ast = map_defs_annot (fun (l,_) -> l,Type_check.empty_tannot) repl_ast in
+  let repl_ast = map_ast_annot (fun (l,_) -> l,Type_check.empty_tannot) repl_ast in
   let repl_ids, repl_specs = scan_defs repl_ast in
   let defs1, specs_found = filter_old_ast repl_ids repl_specs ast in
   let defs2 = filter_replacements specs_found repl_ast in