Revision - 5ea1864 - Fixed parsing of annotated lets and added negative test

Revision 5ea1864ad4e8490a649e125ed2bcc86499fdb673 authored by mkolosick on 26 August 2019, 20:40:22 UTC, committed by mkolosick on 26 August 2019, 20:40:22 UTC

Fixed parsing of annotated lets and added negative test

1 parent ad522c2

Files
Changes

.gitmodules

[submodule "liquid-fixpoint"]
	path = liquid-fixpoint
	url = git@github.com:ucsd-progsys/liquid-fixpoint

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...