upgrade submodule

tribbloid · Mar 24, 2024 · 5474bcf · 5474bcf
1 parent f253b71
commit 5474bcf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/buildSrc b/buildSrc
diff --git a/prover-commons b/prover-commons
+6 −4		module/core/src/main/scala/ai/acyclic/prover/commons/diff/StringDiff.scala
+6 −2		module/core/src/main/scala/ai/acyclic/prover/commons/function/api/HasPoly.scala
+2 −2		module/core/src/main/scala/ai/acyclic/prover/commons/function/api/HasPolyLike.scala
+10 −4		module/core/src/main/scala/ai/acyclic/prover/commons/util/Capabilities.scala
+1 −1		module/core/src/test/scala/ai/acyclic/prover/commons/function/PreDefSpec.scala
+1 −1		module/core/src/test/scala/ai/acyclic/prover/commons/util/CapabilitiesSpec.scala