From 0f164474abb2f514be28684819b63f4fbe1d2cd8 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Fri, 1 Mar 2024 14:33:26 -0600
Subject: [PATCH] Update cvc5 version to 1.1.2 (#9)

---
 Formula/cvc5.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Formula/cvc5.rb b/Formula/cvc5.rb
index 5c66ce1..eddfe99 100644
--- a/Formula/cvc5.rb
+++ b/Formula/cvc5.rb
@@ -3,7 +3,7 @@ class Cvc5 < Formula
 
   desc "Efficient open-source automatic theorem prover for SMT problems"
   homepage "https://cvc5.github.io/"
-  url "https://github.com/cvc5/cvc5.git", tag: "cvc5-1.1.1"
+  url "https://github.com/cvc5/cvc5.git", tag: "cvc5-1.1.2"
   head "https://github.com/cvc5/cvc5.git", branch: "main"
 
   option "with-java-bindings", "Build Java bindings based on new C++ API"