From 4c229d057dc728ac1e7b86e08cd43b8e5f3c0c01 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 25 Jul 2025 20:16:12 -0700 Subject: [PATCH] Update PARALLEL_PROJECT_NOTES.md --- PARALLEL_PROJECT_NOTES.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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).