Fix link in evaluation/README.md

viperproject · Apr 25, 2024 · 3a0515d · 3a0515d
1 parent a9adec7
commit 3a0515d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/evaluation/README.md b/evaluation/README.md
@@ -16,7 +16,7 @@ Contains plots comparing the results from different experiments.
 
 ## `experiments/`
 ### `program_proofs_example_10_2/`
-We use the proof for `InsertCorrect` from [chapter 10.2 of Program Proofs encoded in Gobra] (https://github.com/viperproject/program-proofs-gobra/blob/main/chapter10/examples_10.2.gobra)
+We use the proof for `InsertCorrect` from [chapter 10.2 of Program Proofs encoded in Gobra](https://github.com/viperproject/program-proofs-gobra/blob/main/chapter10/examples_10.2.gobra)
 to investigate the effect of "assisting" the verifier on execution time
 and quantifier instantiations by means of intermediate assertions.