From dd1924d8c65a8452dfc5bcdf97344d68e0b7a4dd Mon Sep 17 00:00:00 2001
From: Heather Macbeth <25316162+hrmacbeth@users.noreply.github.com>
Date: Sun, 24 Dec 2023 18:24:04 -0500
Subject: [PATCH] Update Sun Dec 24 18:24:04 EST 2023

---
 lake-manifest.json | 4 ++--
 lakefile.lean      | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index ddb768eb..f8c5f212 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -64,10 +64,10 @@
    "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"},
-  {"url": "https://github.com/hrmacbeth/lean4-autograder-main",
+  {"url": "https://github.com/robertylewis/lean4-autograder-main",
    "type": "git",
    "subDir": null,
-   "rev": "50713095a8ade6808b2020f426adc995e29486e4",
+   "rev": "74523206906acc73ddc4c8a4c3cbb37dd33cc7b1",
    "name": "autograder",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
diff --git a/lakefile.lean b/lakefile.lean
index b2687cab..c61e6baa 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -29,4 +29,4 @@ but currently only Lean core options can be set in lakefile
 
 require mathlib from git "https://github.com/leanprover-community/mathlib4" @ s!"v{Lean.versionString}"
 require Duper from git "https://github.com/hrmacbeth/duper" @ "main"
-require autograder from git "https://github.com/hrmacbeth/lean4-autograder-main" @ "master"
+require autograder from git "https://github.com/robertylewis/lean4-autograder-main" @ "master"