From f77b55d0a48964afc7a5b8bee119d8dd38df7db1 Mon Sep 17 00:00:00 2001
From: James Bornholt <bornholt@amazon.com>
Date: Thu, 25 May 2023 19:38:01 -0500
Subject: [PATCH] Remove dangling symlink in CMBC proofs (#1031)

The templates submodule was removed in #919 so this symlink is now
dangling.
---
 verification/cbmc/proofs/prepare.py | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 verification/cbmc/proofs/prepare.py

diff --git a/verification/cbmc/proofs/prepare.py b/verification/cbmc/proofs/prepare.py
deleted file mode 120000
index 34f64ce26..000000000
--- a/verification/cbmc/proofs/prepare.py
+++ /dev/null
@@ -1 +0,0 @@
-../templates/template-for-repository/proofs/prepare.py
\ No newline at end of file