From 8cd984b3cb1c684f3ffa43dc2ddef27b74dd32ed Mon Sep 17 00:00:00 2001 From: Thaddeus Crews Date: Tue, 21 Nov 2023 15:33:14 -0600 Subject: SCons: Update mypy --- misc/scripts/mypy.ini | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'misc/scripts/mypy.ini') diff --git a/misc/scripts/mypy.ini b/misc/scripts/mypy.ini index b3323eacda..45f048f118 100644 --- a/misc/scripts/mypy.ini +++ b/misc/scripts/mypy.ini @@ -1,6 +1,7 @@ [mypy] -ignore_missing_imports = true +ignore_missing_imports = True disallow_any_generics = True +no_implicit_optional = True pretty = True show_column_numbers = True warn_redundant_casts = True -- cgit v1.2.3