Fix some overlooked references to forall.

This commit is contained in:
Gavin Schulz
2015-01-15 19:05:58 -08:00
parent 4249f92571
commit 2ddf0a9586
2 changed files with 1 additions and 1 deletions