chore: update leanwuzla (#696)

opencompl · Oct 14, 2024 · 56d3446 · 56d3446
1 parent 84d72a8
commit 56d3446
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -125,7 +125,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "26ce43b292447cef9582c245a5ebe5d29d72827d",
+   "rev": "a51af40d9a69537b0572d96a9a6c657f6b5b18ea",
    "name": "leanwuzla",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",