From 848874a4eb5d29742f7afa2567bc424871b1c7ef Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Mar 2022 11:47:26 +0100
Subject: Rename TypeDef...,type_def...,FunDef,fun_def to ...Decl,...decl

---
 src/PrintSymbolicAst.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src/PrintSymbolicAst.ml')

diff --git a/src/PrintSymbolicAst.ml b/src/PrintSymbolicAst.ml
index 25b39e2e..1679aa6c 100644
--- a/src/PrintSymbolicAst.ml
+++ b/src/PrintSymbolicAst.ml
@@ -20,7 +20,7 @@ module PT = Print.Types
 
 type formatting_ctx = {
   type_context : C.type_context;
-  fun_context : A.fun_def A.FunDefId.Map.t;
+  fun_context : A.fun_decl A.FunDeclId.Map.t;
   type_vars : T.type_var list;
 }
 
@@ -35,24 +35,24 @@ let formatting_ctx_to_formatter (ctx : formatting_ctx) : formatter =
     let v = T.TypeVarId.nth ctx.type_vars vid in
     v.name
   in
-  let type_def_id_to_string def_id =
-    let def = T.TypeDefId.Map.find def_id ctx.type_context.type_defs in
+  let type_decl_id_to_string def_id =
+    let def = T.TypeDeclId.Map.find def_id ctx.type_context.type_decls in
     P.name_to_string def.name
   in
   let adt_variant_to_string =
-    P.Contexts.type_ctx_to_adt_variant_to_string_fun ctx.type_context.type_defs
+    P.Contexts.type_ctx_to_adt_variant_to_string_fun ctx.type_context.type_decls
   in
   (* We shouldn't use [var_id_to_string] *)
   let var_id_to_string _ = failwith "Unexpected use of var_id_to_string" in
 
   let adt_field_names =
-    P.Contexts.type_ctx_to_adt_field_names_fun ctx.type_context.type_defs
+    P.Contexts.type_ctx_to_adt_field_names_fun ctx.type_context.type_decls
   in
   {
     rvar_to_string;
     r_to_string;
     type_var_id_to_string;
-    type_def_id_to_string;
+    type_decl_id_to_string;
     adt_variant_to_string;
     var_id_to_string;
     adt_field_names;
-- 
cgit v1.2.3