diff options
| author |  leino <unknown> | 2015-09-23 03:54:37 -0700 |
|---|---|---|
| committer | leino <unknown> | 2015-09-23 03:54:37 -0700 |
| commit | e56054fce562213ef34ed6a3d99b0cb036c2bf23 (patch) | |
| tree | 0982717944337d7f9ec5e5e2c3ac11012068bc16 /INSTALL | |
| parent | ca96e3974019ca956f46c91eb07b2c2dfede1d29 (diff) | |
Fixed typo in INSTALL file
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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/)
|