[ comment ] fix typo

typechecker · May 3, 2024 · 5434d03 · 5434d03
1 parent e1636b4
commit 5434d03
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs b/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs
@@ -613,7 +613,7 @@ instance ToAbstract MaybeOldQName where
         return $ Just $ f $ AmbQ xs
 
       -- Note: user warnings on ambiguous names will be raised by the type checker,
-      -- see storeDiamsbiguatedName.
+      -- see 'storeDisambiguatedName'.
       raiseWarningsOnUsageIfUnambiguous :: List1 A.QName -> ScopeM ()
       raiseWarningsOnUsageIfUnambiguous = \case
         x :| [] -> raiseWarningsOnUsage x