chore: remove unused deprecation wrapper

zhudotexe · Nov 7, 2023 · 7b69f0d · 7b69f0d
1 parent ee56010
commit 7b69f0d
Showing 1 changed file with 0 additions and 73 deletions.
diff --git a/kani/utils/deprecation.py b/kani/utils/deprecation.py