1 files changed, 3 insertions, 3 deletions
diff --git a/src/pretty/Pretty.ml b/src/pretty/Pretty.ml
index fa25a40..2f0a40b 100644
--- a/src/pretty/Pretty.ml
+++ b/src/pretty/Pretty.ml
@@ -6,13 +6,13 @@ module S = NbE.Syntax
 module Internal =
 struct
   type env = {
-    names : Ident.local bwd;
+    names : Name.local bwd;
     prec : int;
   }
 
   module Eff = Algaeff.Reader.Make (struct type nonrec t = env end)
 
-  let bind (name : Ident.local) f fmt x =
+  let bind (name : Name.local) f fmt x =
     let update env = { env with names = env.names <: name } in
     Eff.scope update (fun () -> f fmt x)
 
@@ -74,7 +74,7 @@ struct
   (* TODO: improve indentation *)
   and pp fmt = function
     | S.Var ix -> pp_var fmt ix
-    | S.Def (p, _) -> Ident.pp fmt p
+    | S.Def (p, _) -> Name.pp fmt p
     | S.Pi (name, base, fam) -> rassoc 1 pp_arg ~sep:" -> " (bind name pp) fmt ((name, base), fam)
     | S.Lam (name, body) -> Fmt.pf fmt "@[\\@[%a@] -> @[%a@]@]" pp_local_name name (bind name pp) body
     | S.Sg (name, base, fam) -> rassoc 2 pp_arg ~sep:" * " (bind name pp) fmt ((name, base), fam)