aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
-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);