From d65605eb19d33e256ba267084ad227c7f53676f1 Mon Sep 17 00:00:00 2001 From: "James D. Mitchell" Date: Fri, 8 Nov 2024 12:44:58 +0000 Subject: [PATCH] Fix linting --- libsemigroups_pybind11/froidure_pin.py | 3 ++- src/CPPLINT.cfg | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/libsemigroups_pybind11/froidure_pin.py b/libsemigroups_pybind11/froidure_pin.py index b616275a..d875e696 100644 --- a/libsemigroups_pybind11/froidure_pin.py +++ b/libsemigroups_pybind11/froidure_pin.py @@ -12,7 +12,8 @@ # The module doc string is what appears at the top of the helper function # doc page, and so is omitted. -from typing import Self, List, TypeVar as _TypeVar, Iterator +from typing import List, TypeVar as _TypeVar, Iterator +from typing_extensions import Self from _libsemigroups_pybind11 import ( diff --git a/src/CPPLINT.cfg b/src/CPPLINT.cfg index a6ea63fa..59b19200 100644 --- a/src/CPPLINT.cfg +++ b/src/CPPLINT.cfg @@ -7,4 +7,5 @@ filter = -readability/todo, filter = -runtime/printf filter = -runtime/references, filter = -runtime/indentation_namespace, +filter = -whitespace/indent_namespace linelength = 80