From 3237fd693a31e911dc315d1a023b07e80ac96537 Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Sun, 4 Feb 2024 07:48:33 -0500
Subject: [PATCH] Bump libpoly submodule to v0.1.12 tag

Among other fixes, this brings in a fix for
https://github.com/SRI-CSL/libpoly/issues/67, which is necessary to allow
`libpoly` to build with Clang 15 or later. This proves essential for building
`libpoly` (and therefore `yices`) on recent `macos-14` GitHub Actions CI
runners.
---
 repos/libpoly | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libpoly b/repos/libpoly
index f543721..b3a3bf8 160000
--- a/repos/libpoly
+++ b/repos/libpoly
@@ -1 +1 @@
-Subproject commit f543721215ec17a724dc86820a0430233931a637
+Subproject commit b3a3bf823722d30cfe97aae7fae8f7e8ea579d3b