From cc978961e465afb425d85668d83a90b3a6176fea Mon Sep 17 00:00:00 2001
From: Rijnard van Tonder <rvantonder@gmail.com>
Date: Thu, 6 Jun 2019 04:29:04 -0400
Subject: [PATCH] Update benchmark.ml

---
 src/benchmark.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/benchmark.ml b/src/benchmark.ml
index c001a6fa..8e9efa43 100644
--- a/src/benchmark.ml
+++ b/src/benchmark.ml
@@ -115,7 +115,7 @@ let with_master_comby dir f =
       match
         Unix.system
           (Format.sprintf
-             "git clone --depth=50 --branch=benchmark https://github.com/comby-tools/comby.git %s/comby-master && \
+             "git clone --depth=50 --branch=master https://github.com/comby-tools/comby.git %s/comby-master && \
               make -C %s/comby-master release && \
               cp %s/comby-master/comby %s" dir dir dir baseline_comby)
       with