From 1419c56e61694c1465f8c51e771c2a87be0adc08 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Pereira?=
 <61297526+joaomhmpereira@users.noreply.github.com>
Date: Wed, 17 Apr 2024 13:14:20 +0100
Subject: [PATCH] Update README.md

---
 README.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 823fab2..723f36f 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,4 @@
-[![Build badge](https://github.com/formalsec/ocaml-cvc5/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/ocaml-cvc5/actions) ![Platform](https://img.shields.io/badge/platform-linux%20%7C%20macos-lightgrey)
+[![Build badge](https://github.com/formalsec/ocaml-cvc5/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/ocaml-cvc5/actions) [![GPL-3.0](https://img.shields.io/github/license/formalsec/ocaml-cvc5)](LICENSE) ![Platform](https://img.shields.io/badge/platform-linux%20%7C%20macos-lightgrey)
 
 ocaml-cvc5 
 ===============================================================================
@@ -44,4 +44,4 @@ Run examples with:
 dune exec -- examples/toy.exe  #replace toy with any other example
 ```
 
-[cvc5]: https://github.com/cvc5/cvc5
\ No newline at end of file
+[cvc5]: https://github.com/cvc5/cvc5