Remove dangling symlink in CMBC proofs (#1031)

The templates submodule was removed in #919 so this symlink is now dangling.
awslabs · May 26, 2023 · f77b55d · f77b55d
1 parent 80ec398
commit f77b55d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/verification/cbmc/proofs/prepare.py b/verification/cbmc/proofs/prepare.py