fix link

ngernest · Nov 2, 2024 · 7278454 · 7278454
1 parent c400d2e
commit 7278454
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -51,7 +51,7 @@ Pull requests welcome! Note: end a line with two spaces to force a line break.
 ### 2023 
 * **Covering All the Bases: Type-Based Verification of Test Input Generators** (PLDI 2023)     
   Zhe Zhou, Ashish Mishra, Benjamin Delaware, Suresh Jagannathan        
-  ([doi](https://dl.acm.org/doi/10.1145/3591271))    
+  ([doi](https://doi.org/10.1145/3591271))    
 
 * **Merging Inductive Relations** (PLDI 2023)        
   Jacob Prinz, Leonidas Lampropoulos