Update deliveries/rv_kmir-milestone_4.md

deliveries/rv_kmir-milestone_4.md

@@ -14,7 +14,7 @@ Specify the semantics of MIR programs in K.
 | **0a.** | License | [BSD-3](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/LICENSE) |
 | **0b.** | Documentation | [kmir CLI instructions](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/kmir/README.md) |
 | **0c.** | Testing and Testing Guide | [Testing Instructions with Docker](https://github.com/runtimeverification/mir-semantics/tree/milestone4-deliverable#running-integration-tests-with-docker) |
-| **0d.** | Docker | [Dockerfile](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/Dockerfile |
+| **0d.** | Docker | [Dockerfile](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/Dockerfile) |
 | 1. | KMIR documentation | [README](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/kmir/README.md#build-kmir) |
 | 2. | **kup** integration | [kmir in kup](https://github.com/runtimeverification/kup/blob/cf2ff4245ccefb64a98f752a324a807a43cf9184/src/kup/__main__.py#L60https://github.com/runtimeverification/kup) [flake.nix in kmir](https://github.com/runtimeverification/mir-semantics/blob/milestone4-deliverable/flake.nix) |
 | 3. | Blog post | In final review by @takahser |