chore(hlapi): remove leftover file

This file was not correctly removed during the refactor
zama-ai · Jan 23, 2024 · 3e2833a · 3e2833a
1 parent bc85163
commit 3e2833a
Showing 1 changed file with 0 additions and 348 deletions.
diff --git a/tfhe/src/high_level_api/integers/types/static_.rs b/tfhe/src/high_level_api/integers/types/static_.rs