From ac6ab99b75bb56c0917b2f3b714a7e4cadaa31a9 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 30 Nov 2016 11:48:29 +0000
Subject: Fixing current version of STP in Dockerfile (see #505) to 2.1.2

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

diff --git a/Dockerfile b/Dockerfile
index f1cce2ee..747cbef8 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -7,7 +7,7 @@ MAINTAINER Dan Liew <daniel.liew@imperial.ac.uk>
 
 ENV LLVM_VERSION=3.4 \
     SOLVERS=STP:Z3 \
-    STP_VERSION=master \
+    STP_VERSION=2.1.2 \
     DISABLE_ASSERTIONS=0 \
     ENABLE_OPTIMIZED=1 \
     KLEE_UCLIBC=klee_uclibc_v1.0.0 \
-- 
cgit 1.4.1