Modified a comment.

agda · Mar 15, 2020 · b0f6962 · b0f6962
1 parent f7c0c35
commit b0f6962
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/full/Agda/Interaction/InteractionTop.hs b/src/full/Agda/Interaction/InteractionTop.hs
@@ -226,7 +226,7 @@ handleCommand wrap onFail cmd = handleNastyErrors $ wrap $ do
       return x
 
     -- | Handle every possible kind of error (#637), except for
-    -- ThreadKilled, which is used to abort Agda.
+    -- AsyncCancelled, which is used to abort Agda.
     handleNastyErrors :: CommandM () -> CommandM ()
     handleNastyErrors m = commandMToIO $ \ toIO -> do
       let handle e =