summaryrefslogtreecommitdiff
path: root/src/full/Agda/Syntax/Parser/LookAhead.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/Syntax/Parser/LookAhead.hs')
-rw-r--r--src/full/Agda/Syntax/Parser/LookAhead.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/full/Agda/Syntax/Parser/LookAhead.hs b/src/full/Agda/Syntax/Parser/LookAhead.hs
index c683627..da15019 100644
--- a/src/full/Agda/Syntax/Parser/LookAhead.hs
+++ b/src/full/Agda/Syntax/Parser/LookAhead.hs
@@ -1,5 +1,5 @@
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
-{-# LANGUAGE Rank2Types #-}
+{-# LANGUAGE Rank2Types #-}
{-| When lexing by hands (for instance string literals) we need to do some
looking ahead. The 'LookAhead' monad keeps track of the position we are