Revision - 84316f0 - Fixed typo in revoke example

Revision 84316f0de2b2e628b6fa77e472bacabdb43318dc authored by Anish Tondwalkar on 10 July 2019, 21:22:00 UTC, committed by Anish Tondwalkar on 10 July 2019, 21:23:27 UTC

Fixed typo in revoke example

1 parent 3eb6028

Files
Changes

Permalinks

.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 ...