update auto

leanprover-community · Nov 7, 2023 · 2c9cc82 · 2c9cc82
1 parent ef84c0c
commit 2c9cc82
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -12,7 +12,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean-auto.git",
     "subDir?": null,
-    "rev": "cd10ccaaaa71dc60705e54e308e95e0f3443d5e5",
+    "rev": "1d9727e87262e9c5919aca4a837473ac4cd46396",
     "opts": {},
     "name": "auto",
     "inputRev?": "main",