From 72826f05ca0c4ec261fccc6a3447e3d96711540a Mon Sep 17 00:00:00 2001
From: Jacob Eberhardt <jacob.eberhardt@tu-berlin.de>
Date: Mon, 23 Oct 2017 16:02:46 +0200
Subject: [PATCH] Dockerfile fixed. Example fixed.

---
 Dockerfile        | 2 +-
 examples/add.code | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Dockerfile b/Dockerfile
index 685d8d11..af59e3d0 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -2,7 +2,7 @@ FROM ubuntu:14.04
 
 MAINTAINER JacobEberhardt <jacob.eberhardt@tu-berlin.de>, Dennis Kuhnert <dennis.kuhnert@campus.tu-berlin.de>
 
-ARG libsnarkcommit=master
+ARG libsnarkcommit=deprecated-master
 
 WORKDIR /root
 
diff --git a/examples/add.code b/examples/add.code
index 88ddacf2..a59e9938 100644
--- a/examples/add.code
+++ b/examples/add.code
@@ -1,5 +1,5 @@
 // only using add, no need to flatten
-def main(a):
+def main(a, b, c):
   b = a + 5
   c = a + b + a + 4
   d = a + c + a + b