diff --git a/pancake/proofs/README.md b/pancake/proofs/README.md
index e6ddeb3f16..1694dda33d 100644
--- a/pancake/proofs/README.md
+++ b/pancake/proofs/README.md
@@ -26,6 +26,3 @@ Correctness proof for --
 
 [time_to_panProofScript.sml](time_to_panProofScript.sml):
 Correctness proof for --
-
-[time_to_panSemProofScript.sml](time_to_panSemProofScript.sml):
-Correctness proof for --