aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-11-21 16:21:44 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-01-07 16:09:53 +0100
commit1277d44553d34510a333632add6e75c759bd6dbd (patch)
tree404eefb6060767e25af1122187543eac9aff0378
parentf0486bd8e2fffa1049fa4d0abcebfb5c426aa16b (diff)
downloadsparse-dev-1277d44553d34510a333632add6e75c759bd6dbd.tar.gz
cleanup: remove declaration of unused merge_phi_sources
The variable definition has been removed in commit: 784e1e5b8 "Remove phi source merging." but the declaration has been forgotten. Remove it now. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
-rw-r--r--lib.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib.h b/lib.h
index 344ec73f..271b7ae1 100644
--- a/lib.h
+++ b/lib.h
@@ -42,7 +42,7 @@
extern int verbose, optimize, optimize_size, preprocessing;
extern int die_if_error;
-extern int repeat_phase, merge_phi_sources;
+extern int repeat_phase;
extern int gcc_major, gcc_minor, gcc_patchlevel;
extern unsigned int hexval(unsigned int c);