proof-general/ci/simple-tests/Makefile, branch master Emacs plugins for proof management systems protect uses of coq-callcoq 2021-02-22T22:25:30+00:00 Hendrik Tews 2021-02-22T22:00:41+00:00 76fe29c9b121a0010a0f24b5cca5ac706683e3c3 Uses of coq-callcoq need to correctly handle nil as result for the case that coq-callcoq fails. Additionally, add a regression test. Fixes #551 
Uses of coq-callcoq need to correctly handle nil as result for
the case that coq-callcoq fails.

Additionally, add a regression test.

Fixes #551