diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-02 11:22:50 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-09-02 11:22:50 -0700 |
| commit | 629762d100ac6daa1cb09d33d4fe82cfbdedbe0c (patch) | |
| tree | 17e1e901cda66fb68adbf76bb36f8383e5a04287 /Test/dafny3 | |
| parent | 4fe2619c267b0330dc3ceaca761256794094d3cc (diff) | |
| parent | 2a442cedb2d920cb45382af4add7f05270e31207 (diff) | |
Merge
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
|