[Verifpal] parse comments
nadim at symbolic.software
Fri Dec 11 14:40:47 CET 2020
Thanks for pointing this out. It has been addressed in the following commit:
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.
> Verifpal mailing list
> Verifpal at lists.symbolic.software
More information about the Verifpal