chore(scripts): update nolints.txt (#5865)

I am happy to remove some nolints for you!
leanprover-community · Jan 24, 2021 · 160d243 · 160d243
1 parent 8da574f
commit 160d243
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/style-exceptions.txt b/scripts/style-exceptions.txt
@@ -80,6 +80,7 @@ src/algebraic_geometry/stalks.lean : line 47 : ERR_LIN : Line has more than 100
 src/algebraic_geometry/stalks.lean : line 48 : ERR_LIN : Line has more than 100 characters
 src/analysis/analytic/basic.lean : line 790 : ERR_LIN : Line has more than 100 characters
 src/analysis/analytic/composition.lean : line 205 : ERR_LIN : Line has more than 100 characters
+src/analysis/analytic/composition.lean : line 520 : ERR_LIN : Line has more than 100 characters
 src/analysis/calculus/deriv.lean : line 1105 : ERR_LIN : Line has more than 100 characters
 src/analysis/calculus/local_extr.lean : line 22 : ERR_LIN : Line has more than 100 characters
 src/analysis/calculus/local_extr.lean : line 305 : ERR_LIN : Line has more than 100 characters