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