I'm a very new Mac user and not really an Emacs user. I just use emacs to run PVS Specification and Verification System, by typing the pvs command in the terminal to start the software.
Aquamacs was working properly but suddenly it started to get stuck when running some .pvs files (not all), including some that were working normally before. I'm receiving the following message:
"error in process filter: ‘recenter’ing a window that does not display current-buffer".
The Aquamacs windows freeze, and I just can force it to ends by using the Mac tool or closing the terminal. My Mac was running macOS Mojave when the error started, but after I updated to Catalina the bug continued.
As I'm a new Mac user a beginner in Emacs, I really appreciate any help to fix this.