Remove nonexistent symlink (#65)

FreeRTOS · Nov 12, 2021 · 5efcee2 · 5efcee2
1 parent c76bf4a
commit 5efcee2
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/test/cbmc/proofs/prepare.py b/test/cbmc/proofs/prepare.py