From a8005611b36ee6057fb56a81071105cc8c43e5de Mon Sep 17 00:00:00 2001
From: Matthias Braun <matze@braunis.de>
Date: Thu, 16 Jul 2009 11:41:33 +0000
Subject: [PATCH] it's called thread-jumps now

[r26283]
---
 main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/main.c b/main.c
index b93ac30..eb284fa 100644
--- a/main.c
+++ b/main.c
@@ -752,7 +752,7 @@ int main(int argc, char **argv)
 		/* use_builtins = true; */
 		/* fallthrough */
 	case 3:
-		set_option("jumpthreading");
+		set_option("thread-jumps");
 		set_option("if-conv");
 		/* fallthrough */
 	case 2:
-- 
2.20.1