Typeing a double quote in a PVS file causes a mysterious error to show up.

SRI-CSL / PVS

The People's Verification System

http://pvs.csl.sri.com

GNU General Public License v2.0

135 stars 32 forks source link

Typeing a double quote in a PVS file causes a mysterious error to show up. #26

Closed happyhuman closed 10 years ago

happyhuman commented 10 years ago

HEre is one example: Nov 6 15:56:49 thompson.ai.sri.com Python[33434] : CGContextRestoreGState: invalid context 0x0. This is a serious error. This application, or a library it uses, is using an invalid context and is thereby contributing to an overall degradation of system stability and reliability. This notice is a courtesy: please fix this problem. It will become a fatal error in an upcoming update.

happyhuman commented 10 years ago

This problem only occurs under Mac. It seems to be caused by some low level function call. For now, there does not seem to be a solution for this.

happyhuman commented 10 years ago

This was mysteriously fixed on its own. It no longer shows up.