From 39512c2b67d07433ac84ffd28233ecf551fac6ea Mon Sep 17 00:00:00 2001
From: Johan Engelen <jbc.engelen@gmail.com>
Date: Wed, 11 Apr 2018 22:38:15 +0200
Subject: [PATCH] Remove boost dep in Dockerfile (#28)

---
 docker/Dockerfile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index d939d1c..8d6d0a0 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -44,7 +44,4 @@ RUN git clone https://github.com/scipr-lab/libff.git \
     && cd ../.. \
     && rm -rf benchmark
 
-# Install boost separately, because we are going to remove that dependency
-RUN apt-get install -y libboost-all-dev
-
 CMD ["/bin/bash"]