From 18bc64105da694962ea78395fb8a2b50d27db46d Mon Sep 17 00:00:00 2001 From: Aram Khachatryan Date: Thu, 25 Jan 2024 04:52:35 +0400 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index bbc75dc..1f9f144 100644 --- a/README.md +++ b/README.md @@ -46,4 +46,4 @@ Contributions are welcome! If you find a bug or have a suggestion, please open a ## License -This project is licensed under the MIT License - see the LICENSE file for details. +This project is licensed under the MIT License - see the [LICENSE](https://github.com/dyooreen/kani/blob/main/LICENSE) file for details.