From cc712ed5fdf07e24af3ac0a133f483c506af55a9 Mon Sep 17 00:00:00 2001 From: Andrea Censi Date: Mon, 21 Feb 2022 12:24:14 +0100 Subject: skeletons --- src/act4e_solutions/maps.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/act4e_solutions/maps.py') diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py index cf4e98f..4984eef 100644 --- a/src/act4e_solutions/maps.py +++ b/src/act4e_solutions/maps.py @@ -7,7 +7,7 @@ B = TypeVar("B") C = TypeVar("C") -class MyFiniteMapOperations(I.FiniteMapOperations): +class SolFiniteMapOperations(I.FiniteMapOperations): @overload def identity(self, s: I.FiniteSet[A]) -> I.FiniteMap[A, A]: ... -- cgit v1.2.1