From d0fb19ff74b0397749362beedf39ffb8d1c623a9 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Fri, 28 Aug 2015 13:42:59 -0700
Subject: Fixed spelling mistake in test file

---
 Test/dafny3/Dijkstra.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Test/dafny3')

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
-- 
cgit v1.2.3