Delete charon/tests/ui/taint.rs

AeneasVerif · Jul 16, 2024 · a9a0e5f · a9a0e5f
1 parent a15da80
commit a9a0e5f
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/charon/tests/ui/taint.rs b/charon/tests/ui/taint.rs