Update README.md

LeventErkok · Mar 18, 2024 · f0cabec · f0cabec
1 parent 7bc38b7
commit f0cabec
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -26,7 +26,7 @@ SBV also allows for an incremental mode: Users are given a handle to the SMT sol
 ## Overview
 
  - [Hackage](http://hackage.haskell.org/package/sbv)
- - [Release Notes](http://github.com/LeventErkok/sbv/tree/master/CHANGES.md).
+ - [Release Notes](http://github.com/LeventErkok/sbv/tree/master/CHANGES.md)
 
 SBV library provides support for dealing with symbolic values in Haskell. It introduces the types: