Remove empty rule

RaoulSchaffranek · RaoulSchaffranek · commit d313e511e2ae · 2023-10-12T18:40:43.000+02:00
diff --git a/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md b/kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md
@@ -1354,7 +1354,6 @@ The various `CALL*` (and other inter-contract control flow) operations will be d
     rule #isValidJumpDest(PGM, I) => true  requires PGM [ I ] ==Int 91
     rule #isValidJumpDest(PGM, I) => false [owise]
 
-    rule 
 ```
 
 ```k
