Searched refs:PRINT_GIVEN (Results 1 – 3 of 3) sorted by relevance
76 if (Flags[PRINT_GIVEN].val) { in main()
24 PRINT_GIVEN, /* print given clauses */ enumerator
109 Flags[PRINT_GIVEN].name = "print_given"; in init_options()110 Flags[PRINT_GIVEN].val = 1; in init_options()