From 4f39b2f9d5db5e271b87e302a04e10aee84877be Mon Sep 17 00:00:00 2001
From: Virgil <virgil.serbanuta@runtimeverification.com>
Date: Wed, 23 Oct 2024 17:46:19 +0300
Subject: [PATCH] Fix dependencies

---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 64f9d60..bc01c7c 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -12,7 +12,7 @@ RUN    apt-get update              \
                        libcrypto++-dev     \
                        libprocps-dev       \
                        libsecp256k1-dev    \
-                       libssl-dev          \
+                       libssl-dev
 
 ARG USER_ID=1001
 ARG GROUP_ID=1001