[Verifpal] parse comments

Nadim Kobeissi nadim at symbolic.software
Fri Dec 11 14:40:47 CET 2020

Dear Mike,

Thanks for pointing this out. It has been addressed in the following commit:

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Dec 11, 2020, at 10:02 AM, Mike via Verifpal <verifpal at lists.symbolic.software> wrote:
> hi all,
> I found parser dont like empty principal block with comment only.
> In general file attached is valid and you would like to fix parser for science.
> (mike)
> <parsecomment.vp>
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal

More information about the Verifpal mailing list