[Verifpal] examples are broken

[Nadim Kobeissi]

Nevermind, looks like I had forgotten to commit some changes -- pushing now.

Nadim Kobeissi
Symbolic Software • https://symbolic.software
Sent from office


On Sun, Sep 8, 2019 at 12:23 AM Nadim Kobeissi <nadim at symbolic.software>
wrote:

> Hi Mike,
>
> Could you please describe how these examples are "broken"? They seem fine
> to me.
>
> Also, please don't send low-information/low-quality emails like that to
> the list -- I'm placing you on the moderation queue.
>
> Thanks,
>
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
> Sent from office
>
>
> On Sun, Sep 8, 2019 at 12:16 AM Mike via Verifpal
> <verifpal at lists.symbolic.software> wrote:
>
>> By today's commits examples are broken:
>>
>> scuttlebutt_handshake.vp
>> protonmail_to_outside.vp
>>
>> (mike)
>>
>> _______________________________________________
>> Verifpal mailing list
>> Verifpal at lists.symbolic.software
>> https://lists.symbolic.software/mailman/listinfo/verifpal
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.symbolic.software/pipermail/verifpal/attachments/20190908/9c1a00f5/attachment.htm>