Skip to content

Replace deprecated syntax 'forall ensures' -> 'assert ... by' - #147

Open
markrtuttle wants to merge 1 commit into
dafny-lang:masterfrom
markrtuttle:replace-deprecated-forall-syntax
Open

Replace deprecated syntax 'forall ensures' -> 'assert ... by'#147
markrtuttle wants to merge 1 commit into
dafny-lang:masterfrom
markrtuttle:replace-deprecated-forall-syntax

Replace deprecated syntax 'forall ensures' -> 'assert ... by'

b6e07fd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs