I noticed the problem occurring after using the Eclipse IDE. I have the 2019-12 version of the C/C++ IDE installed; 'help about' says
Eclipse IDE for C/C++ Developers
Version: 2019-12 (4.14.0) Build id: 20191212-1212
I noticed the problem occurring after using the Eclipse IDE. I have the 2019-12 version of the C/C++ IDE installed; 'help about' says
Eclipse IDE for C/C++ Developers
Version: 2019-12 (4.14.0)
Build id: 20191212-1212