Skip to content

Commit

Permalink
Fix URL
Browse files Browse the repository at this point in the history
  • Loading branch information
@sorawee
sorawee authored Jan 3, 2017
1 parent 0c289dc commit f5e1e9e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -73,9 +73,9 @@ Alternatively, you can install Rosette from source:

* For more on using Rosette, see [_The Rosette Guide_][1]. Rosette's internals are described in [this PLDI'14 paper][2].

[1]: http://emina.github.io/rosette/doc/rosette-guide/index.html
[1]: http://emina.github.io/rosette/rosette-guide/index.html
[2]: http://dl.acm.org/citation.cfm?id=2594340





0 comments on commit f5e1e9e

Please sign in to comment.