Fixing the debug mode (for recent coq verions).

ProofGeneral / PG

This repo is the new home of Proof General

https://proofgeneral.github.io

GNU General Public License v3.0

491 stars 88 forks source link

Fixing the debug mode (for recent coq verions). #788

Open Matafou opened 2 months ago

Matafou commented 2 months ago

Coq stopped printing around debug infos some versions ago. This has been preventing response and goals buffers to dispatch debug info. This patch seems to fix this.