Update devutils

AdaCore · Aug 15, 2023 · d5ec089 · d5ec089
1 parent 5f9ff4b
commit d5ec089
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -15,7 +15,7 @@ SDIST ?= dist/RecordFlux-$(VERSION).tar.gz
 GENERATED_DIR = generated
 BUILD_GENERATED_DIR := $(MAKEFILE_DIR)/$(BUILD_DIR)/$(GENERATED_DIR)
 PYTHON_PACKAGES = bin doc/language_reference/conf.py doc/user_guide/conf.py examples/apps ide language rflx tests tools stubs setup.py
-DEVUTILS_HEAD = 7f4319741b23b926aca093467e097005d4a1f642
+DEVUTILS_HEAD = ee74c35d71f4153aa58ab2b7efc8342c97d8ce31
 GNATCOLL_HEAD = 25459f07a2e96eb0f28dcfd5b03febcb72930987
 LANGKIT_HEAD = 65e2dab678b2606e3b0eada64b7ef4fd8cae91bb
 ADASAT_HEAD = f948e2271aec51f9313fa41ff3c00230a483f9e8

diff --git a/tests/property/strategies.py b/tests/property/strategies.py
@@ -117,7 +117,7 @@ def literal_identifiers(_: abc.Callable[[], object]) -> str:
                     st.integers(min_value=0, max_value=min(2**size - 1, 2**63 - 1)),
                 ),
             ),
-            unique_by=(lambda x: x[0], lambda x: x[1]),  # type: ignore[no-any-return]
+            unique_by=(lambda x: x[0], lambda x: x[1]),
             min_size=1,
             max_size=2**size,
         ),