From e56054fce562213ef34ed6a3d99b0cb036c2bf23 Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Wed, 23 Sep 2015 03:54:37 -0700
Subject: Fixed typo in INSTALL file

---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 488060f6..e62332db 100644
--- a/INSTALL
+++ b/INSTALL
@@ -27,7 +27,7 @@ Dafny's sources.
 3. Download and build Dafny:
 
    hg clone https://hg.codeplex.com/dafny
-   cd dafny/Sources/
+   cd dafny/Source/
    xbuild Dafny.sln
 
 4. Download and unpack z3 (Dafny looks for `z3` in Binaries/z3/bin/)
-- 
cgit v1.2.3