summaryrefslogtreecommitdiff
path: root/src/full/Agda/Termination/CutOff.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Termination/CutOff.hs')
-rw-r--r--src/full/Agda/Termination/CutOff.hs4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/full/Agda/Termination/CutOff.hs b/src/full/Agda/Termination/CutOff.hs
index f0bb9fb..97cb823 100644
--- a/src/full/Agda/Termination/CutOff.hs
+++ b/src/full/Agda/Termination/CutOff.hs
@@ -1,6 +1,6 @@
--- | Defines 'CutOff' type which is used in 'Agda.Interaction.Options'.
+-- | Defines 'CutOff' type which is used in "Agda.Interaction.Options".
-- This module's purpose is to eliminate the dependency of
--- 'Agda.TypeChecking.Monad.Base' on the termination checker and
+-- "Agda.TypeChecking.Monad.Base" on the termination checker and
-- everything it imports.
module Agda.Termination.CutOff where