diff --git a/src/Lean/Parser/Basic.lean b/src/Lean/Parser/Basic.lean
index 3bd6ca879b..520114d327 100644
--- a/src/Lean/Parser/Basic.lean
+++ b/src/Lean/Parser/Basic.lean
@@ -498,8 +498,7 @@ fun c s =>
     s.mkError "notFollowedBy"
 
 @[inline] def notFollowedBy (p : Parser) : Parser :=
-{ info := p.info,
-  fn   := notFollowedByFn p.fn }
+{ fn := notFollowedByFn p.fn }
 
 @[specialize] partial def manyAux (p : ParserFn) : ParserFn
 | c, s =>