Skip to content

Commit 60a3da3

Browse files
Updated tutorial link to using-herbie
1 parent 806d7db commit 60a3da3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -51,7 +51,7 @@ Running Herbie
5151
--------------
5252

5353
For details on how to run Herbie, please see the
54-
[tutorial](http://herbie.uwplse.org/doc/tutorial.html).
54+
[tutorial](http://herbie.uwplse.org/doc/latest/using-herbie.html).
5555

5656
The format of input files is a Scheme-based language;
5757
you can find several examples in `bench/`.

0 commit comments

Comments
 (0)