tmp

Pi-Squared-Inc · Oct 18, 2024 · 8cc7d54 · 8cc7d54
1 parent d06d129
commit 8cc7d54
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -5,7 +5,7 @@ ARG LLVM_VERSION
 ARG K_COMMIT
 FROM runtimeverificationinc/kframework-k:ubuntu-noble-${K_COMMIT}
 
-COPY --from=Z3 /usr/bin/z3 /usr/bin/z3
+# COPY --from=Z3 /usr/bin/z3 /usr/bin/z3
 
 RUN    apt-get update              \
     && apt-get upgrade --yes       \