@@ -1021,7 +1021,7 @@ DoBlock ::=
1021doBlock :: SyntaxInfo -> IdrisParser PTerm
1021doBlock :: SyntaxInfo -> IdrisParser PTerm
1022doBlock syn
1022doBlock syn
1023 = do reserved "do"
1023 = do reserved "do"
1024− ds <- indentedBlock (do_ syn)
1024+ ds <- indentedBlock1 (do_ syn)
1025 return (PDoBlock ds)
1025 return (PDoBlock ds)
1026 <?> "do block"
1026 <?> "do block"