tmp

Pi-Squared-Inc · Oct 18, 2024 · d06d129 · d06d129
1 parent 4b7202a
commit d06d129
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -2,9 +2,6 @@ ARG Z3_VERSION
 ARG K_COMMIT
 ARG LLVM_VERSION
 
-ARG Z3_VERSION=4.12.1
-FROM runtimeverificationinc/z3:ubuntu-noble-${Z3_VERSION} as Z3
-
 ARG K_COMMIT
 FROM runtimeverificationinc/kframework-k:ubuntu-noble-${K_COMMIT}