v1.2.3

gipsyh · gipsyh · commit 476e8bee1af7 · 2024-12-16T10:53:46.000Z
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rIC3"
-version = "1.2.2"
+version = "1.2.3"
 edition = "2021"
 authors = ["Yuheng Su <gipsyh.icu@gmail.com>"]
 repository = "https://github.com/gipsyh/rIC3"
diff --git a/deps/cadical-rs b/deps/cadical-rs
@@ -1 +1 @@
-Subproject commit 51317c22930f2a7552d0419872fd04cf2aa7ca1c
+Subproject commit 829a1cb388ede36f865a20d0d6590840f9a59b9e
diff --git a/deps/giputils b/deps/giputils
@@ -1 +1 @@
-Subproject commit c2726c42ca176a2d5caf8859cd25b9374b3bf554
+Subproject commit 6284f99728efa66c8120217d499c632555d9a3a7
diff --git a/deps/kissat-rs b/deps/kissat-rs
@@ -1 +1 @@
-Subproject commit ffafe68fe3587c103d0f770b4d308f6a0388078e
+Subproject commit b728840a12e2a4b150186b2b586c01206d52ea8f
diff --git a/src/proofoblig.rs b/src/proofoblig.rs
@@ -193,6 +193,7 @@ impl ProofObligationQueue {
         }
     }
 
+    #[allow(unused)]
     pub fn iter(&self) -> btree_set::Iter<'_, ProofObligation> {
         self.obligations.iter()
     }

Original file line number	Diff line number	Diff line change
`@@ -193,6 +193,7 @@ impl ProofObligationQueue {`
`193`	`193`	`}`
`194`	`194`	`}`
`195`	`195`
	`196`	`+ #[allow(unused)]`
`196`	`197`	`pub fn iter(&self) -> btree_set::Iter<'_, ProofObligation> {`
`197`	`198`	`self.obligations.iter()`
`198`	`199`	`}`