From 860e31520d01440288cb872cae10187d48dcf258 Mon Sep 17 00:00:00 2001
From: Marwan Abbas <67271180+marwaneltoukhy@users.noreply.github.com>
Date: Sun, 16 Jul 2023 11:05:56 +0300
Subject: [PATCH] Update magic version in docker

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

diff --git a/dependencies/Dockerfile b/dependencies/Dockerfile
index 29d650c..eb92168 100644
--- a/dependencies/Dockerfile
+++ b/dependencies/Dockerfile
@@ -57,7 +57,7 @@ RUN yum install -y iverilog && \
 
 # Clone Magic
 ENV MAGIC_ROOT=/opt/magic
-RUN git clone --depth=1 --branch 8.3.394 https://github.com/RTimothyEdwards/magic.git ${MAGIC_ROOT}
+RUN git clone --depth=1 --branch 8.3.413 https://github.com/RTimothyEdwards/magic.git ${MAGIC_ROOT}
 WORKDIR $MAGIC_ROOT
 # Build Magic
 # '-O0' : disable optimization so vars visible in gdb (not optimized away). Already the default of gcc.