From 981c513bd90144219948d19bb6fc071698e3ca0d Mon Sep 17 00:00:00 2001
From: Mylloon <kennel.anri@tutanota.com>
Date: Sat, 27 Apr 2024 12:43:37 +0200
Subject: [PATCH] typo

---
 lib/inference.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/inference.ml b/lib/inference.ml
index 4706f5f..c620ddc 100644
--- a/lib/inference.ml
+++ b/lib/inference.ml
@@ -40,7 +40,7 @@ let typeof t =
           | Some _ -> Some ty_fn, env
           | None -> None, env)
        (* | (Some (Type.Var _ as ty1), _), _ ->
-          (* On this case we may have a function represented as the variable *)
+          (* On this case we may have a function represented as a variable *)
           let ty2 = Type.Arrow (ty1, ty1) in
           (match Unification.unify ty1 ty2 with
           | Some env' -> Some ty2, env'