Merge remote-tracking branch 'origin/fixup-benchmark-branch' into fix…

…-strings-and-html
comby-tools · Jun 6, 2019 · 1de69f4 · 1de69f4
2 parents 78b3dbd + cc97896
commit 1de69f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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