From: Jean Privat <jean@pryen.org>
Date: Fri, 26 Jul 2013 13:04:02 +0000 (-0400)
Subject: bench: remove bench of option --generic-resolution-tree
X-Git-Tag: v0.6~4^2~8
X-Git-Url: http://nitlanguage.org

bench: remove bench of option --generic-resolution-tree
---

diff --git a/benchmarks/bench_engines.sh b/benchmarks/bench_engines.sh
index ae8cc5b..8514ca0 100755
--- a/benchmarks/bench_engines.sh
+++ b/benchmarks/bench_engines.sh
@@ -270,7 +270,7 @@ function bench_nitg-s_options()
 
 	plot "$name.gnu"
 }
-bench_nitg-s_options "slower" --hardening --no-inline-intern --generic-resolution-tree --no-union-attribute --no-shortcut-equal --no-shortcut-range
+bench_nitg-s_options "slower" --hardening --no-inline-intern --no-union-attribute --no-shortcut-equal --no-shortcut-range
 bench_nitg-s_options "nocheck" --no-check-covariance --no-check-initialization --no-check-assert --no-check-autocast --no-check-other
 bench_nitg-s_options "faster" --inline-coloring-numbers
 bench_nitg-s_options "typing" --bm-typing --phand-typing