Skip to content
This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Commit ff9d0c8

Browse files
nwatson22nwatson22
committed
Remove unused typevar
1 parent 2c5b42f commit ff9d0c8

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎src/pyk/proof/parallel.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@
1313

1414

1515
P = TypeVar('P', bound='Proof')
16-
S = TypeVar('S', bound='ProofStep')
1716
U = TypeVar('U', bound='Any')
1817

1918

0 commit comments

Comments
 (0)