Update main Dockerfile

map2check · map2check · commit bdbba5eabed5 · 2019-03-15T15:28:11.000Z
Signed-off-by: Map2Check &lt;map2check.tool@gmail.com&gt;
diff --git a/Dockerfile b/Dockerfile
@@ -12,7 +12,7 @@
 #  You can check that the container still exists by running: $ docker ps -a
 #  You can restart the container by running: docker start -ai mapdevel
 ############################################################
-FROM rafahaskell/map2check_env:svcomp2019
+FROM herberthb/base-image-map2check:latest
 
 # Metadata indicating an image maintainer.
 MAINTAINER <herberthb12@gmail.com>
