Searched refs:ReadlinePatched (Results 1 – 1 of 1) sorted by relevance
244 bool ReadlinePatched = false; in InitializePythonRAII() local251 if (!ReadlinePatched) { in InitializePythonRAII()253 ReadlinePatched = true; in InitializePythonRAII()