From 5efcee26ccb58836ddd07bcc84bda23fe7b3b4b4 Mon Sep 17 00:00:00 2001
From: Muneeb Ahmed <54290492+muneebahmed10@users.noreply.github.com>
Date: Thu, 11 Nov 2021 17:28:49 -0800
Subject: [PATCH] Remove nonexistent symlink (#65)

---
 test/cbmc/proofs/prepare.py | 1 -
 1 file changed, 1 deletion(-)
 delete mode 120000 test/cbmc/proofs/prepare.py

diff --git a/test/cbmc/proofs/prepare.py b/test/cbmc/proofs/prepare.py
deleted file mode 120000
index 97c77e98..00000000
--- a/test/cbmc/proofs/prepare.py
+++ /dev/null
@@ -1 +0,0 @@
-../aws-templates-for-cbmc-proofs/template-for-repository/proofs/prepare.py
\ No newline at end of file