From 66cf5d3c5fff84a1cac333c1aa81a8e1f21ee6f4 Mon Sep 17 00:00:00 2001
From: Malte Voos <git@mal.tc>
Date: Mon, 8 Jul 2024 22:10:12 +0200
Subject: rename Ident -> Name

---
 src/error/Error.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/error/Error.ml')

diff --git a/src/error/Error.ml b/src/error/Error.ml
index 9a5ea9e..7a6a681 100644
--- a/src/error/Error.ml
+++ b/src/error/Error.ml
@@ -42,8 +42,8 @@ let illegal_character ~loc char = fatalf ~loc IllegalCharacter
     "illegal character '%s'" (Char.escaped char)
 let syntax_error ~loc = fatalf ~loc SyntaxError
     "syntax error"
-let unbound_variable id = fatalf UnboundVariable
-    "unbound variable '%a'" Ident.pp id
+let unbound_variable name = fatalf UnboundVariable
+    "unbound variable '%a'" Name.pp name
 let type_mismatch ?loc fmt_expected expected fmt_found found = fatalf ?loc TypeMismatch
     "@[<v>type mismatch:@,expected: @[%a@]@,   found: @[%a@]@]"
     fmt_expected expected fmt_found found
-- 
cgit 1.4.1