From 2d15b59e6d9590681f0f8b512ce15795599aabe6 Mon Sep 17 00:00:00 2001
From: Sorin Iclanzan <sorin@iclanzan.com>
Date: Tue, 21 Jul 2020 09:26:46 -0400
Subject: [PATCH] Fix typo

---
 src/Core/Context.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Core/Context.idr b/src/Core/Context.idr
index a7ddfd95f..a60e27a2a 100644
--- a/src/Core/Context.idr
+++ b/src/Core/Context.idr
@@ -113,7 +113,7 @@ data Def : Type where
             (constraints : List Int) -> Def
     ImpBind : Def -- global name temporarily standing for an implicitly bound name
     -- A delayed elaboration. The elaborators themselves are stored in the
-    -- unifiation state
+    -- unification state
     Delayed : Def
 
 export