Update Inox dependency (#1376)

epfl-lara · Jan 20, 2023 · 87b66ff · 87b66ff
1 parent dbc2e33
commit 87b66ff
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sbt b/build.sbt
@@ -275,7 +275,7 @@ val scriptSettings: Seq[Setting[_]] = Seq(
 def ghProject(repo: String, version: String) = RootProject(uri(s"${repo}#${version}"))
 
 // lazy val inox = RootProject(file("../inox"))
-lazy val inox = ghProject("https://github.com/epfl-lara/inox.git", "4341d51e200b4cb4746744bedf62e849aeadcc7a")
+lazy val inox = ghProject("https://github.com/epfl-lara/inox.git", "4b0daed170bddf7b71cd56cfceef6e5d2a35be26")
 lazy val cafebabe = ghProject("https://github.com/epfl-lara/cafebabe.git", "616e639b34379e12b8ac202849de3ebbbd0848bc")
 
 // Allow integration test to use facilities from regular tests