diff options
| author |  Rustan Leino <unknown> | 2015-08-28 13:42:59 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2015-08-28 13:42:59 -0700 |
| commit | d0fb19ff74b0397749362beedf39ffb8d1c623a9 (patch) | |
| tree | b0ec30fe7c9c32aa5c96824885da89e40bb07971 /Test/dafny3 | |
| parent | 2622988de3a0d07524f35fd28f39fb0518dad88e (diff) | |
Fixed spelling mistake in test file
Diffstat (limited to 'Test/dafny3')
| -rw-r--r-- | Test/dafny3/Dijkstra.dfy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/dafny3/Dijkstra.dfy b/Test/dafny3/Dijkstra.dfy index 42aa3b9e..56719180 100644 --- a/Test/dafny3/Dijkstra.dfy +++ b/Test/dafny3/Dijkstra.dfy @@ -56,7 +56,7 @@ lemma lemma_ping(j: nat, n: nat) }
}
-// The other directorion: f(n) <= n
+// The other direction: f(n) <= n
lemma lemma_pong(n: nat)
requires P()
ensures f(n) <= n
|