From 493ec7caba138ddd4857cd3415cd4992bff35345 Mon Sep 17 00:00:00 2001
From: Nicola Mometto <nicola@imandra.ai>
Date: Fri, 18 Oct 2024 14:29:59 +0100
Subject: [PATCH] chore: bump clojure

---
 pom.xml     | 2 +-
 project.clj | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pom.xml b/pom.xml
index 9d39ca3..ef50c54 100644
--- a/pom.xml
+++ b/pom.xml
@@ -13,7 +13,7 @@
   </parent>
 
   <properties>
-    <clojure.version>1.9.0</clojure.version>
+    <clojure.version>1.12.0</clojure.version>
   </properties>
 
   <developers>
diff --git a/project.clj b/project.clj
index e01257c..2db2554 100644
--- a/project.clj
+++ b/project.clj
@@ -5,7 +5,7 @@
             :url "http://www.eclipse.org/legal/epl-v10.html"}
   :source-paths ["src/main/clojure"]
   :test-paths ["src/test/clojure"]
-  :dependencies [[org.clojure/clojure "1.9.0"]
+  :dependencies [[org.clojure/clojure "1.12.0"]
                  [org.clojure/core.memoize "1.1.266"]
                  [org.clojure/tools.reader "1.5.0"]
                  [org.clojure/tools.analyzer "1.2.0"]