diff --git a/PARALLEL_PROJECT_NOTES.md b/PARALLEL_PROJECT_NOTES.md index 36ff74d15..22e249960 100644 --- a/PARALLEL_PROJECT_NOTES.md +++ b/PARALLEL_PROJECT_NOTES.md @@ -5,7 +5,7 @@ We track notes for updates to [smt/parallel.cpp](https://github.com/Z3Prover/z3/blob/master/src/smt/smt_parallel.cpp) and possibly -[https://github.com/Z3Prover/z3/blob/master/src/solver/parallel_tactic.cpp](solver/parallel_tactic.cpp). +[solver/parallel_tactic.cpp](https://github.com/Z3Prover/z3/blob/master/src/solver/parallel_tactic.cpp).