diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 15:52:20 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-07-20 15:52:20 -0700 |
| commit | 3ad94e1e638f727a7b862183414effc61dc1b781 (patch) | |
| tree | bfc12be5a9765bbae3867c263bec070606b41f9d /Test/dafny3 | |
| parent | 10876f2eb49891b6d58280b7d6d9121424e20727 (diff) | |
Fix encoding in Dijkstra.py
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 1fbd9b7c..42aa3b9e 100644 --- a/Test/dafny3/Dijkstra.dfy +++ b/Test/dafny3/Dijkstra.dfy @@ -3,7 +3,7 @@ // Example taken from:
// Edsger W. Dijkstra: Heuristics for a Calculational Proof. Inf. Process. Lett. (IPL) 53(3):141-143 (1995)
-// Transcribed into Dafny by Valentin Wüstholz and Nadia Polikarpova.
+// Transcribed into Dafny by Valentin Wüstholz and Nadia Polikarpova.
// f is an arbitrary function on the natural numbers
function f(n: nat) : nat
|