Searched refs:RtCStr (Results 1 – 1 of 1) sorted by relevance
738 char *RtCStr, *AstStr; in print() local750 RtCStr = isl_printer_get_str(P); in print()762 OS << "\nif (" << RtCStr << ")\n\n"; in print()767 free(RtCStr); in print()