deleted random empty lines

au-ts · Jan 10, 2020 · 7126718 · 7126718
1 parent 5da37a4
commit 7126718
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/isa-parser/Isabelle/Parser.hs b/isa-parser/Isabelle/Parser.hs
@@ -67,7 +67,6 @@ type ParserM a = Parsec String () a
 -- reserved only at certain levels within the parse e.g. top-level parser vs. theory parser
 -- vs. definition parser
 --
-
 -- FIXME: Don't duplicate the names here and elsewhere. Define as one constant in one place.
 --
 reservedWords :: [String]
@@ -119,7 +118,6 @@ oneStringOf [] = error "Must be applied to at least one parser"
 oneStringOf ss = foldl1 (<||>) (map string ss)
 
 parensL :: ParserM a -> ParserM a
-
 parensL p = do { stringL "("; r <- p; stringL ")"; return r }
 
 quotedL :: ParserM a -> ParserM a
@@ -241,7 +239,6 @@ natL = lexeme natS
 --
 nameS :: ParserM String
 nameS = (antiquoteNameS <||> identS <||> symidentS <||> natS <||> isabelleStringS) <?> "an Isabelle name"
-
   where
 
 isabelleStringS = charString '"' <++> many1 (satisfy (\c -> c /= '"')) <++> charString '"'