Searched refs:ReadlinePatched (Results 1 – 1 of 1) sorted by relevance
245 bool ReadlinePatched = false; in InitializePythonRAII() local252 if (!ReadlinePatched) { in InitializePythonRAII()254 ReadlinePatched = true; in InitializePythonRAII()