Searched refs:opt_eliminate_duplicates (Results 1 – 1 of 1) sorted by relevance
2030 bool opt_eliminate_duplicates = false; in main() local2103 = opt_eliminate_duplicates in main()2144 opt_eliminate_duplicates = true; in main()2146 opt_eliminate_duplicates = false; in main()2266 if (opt_eliminate_duplicates || opt_report_conflicts || opt_sort) in main()2268 opt_eliminate_duplicates, opt_report_conflicts, root); in main()