From 0bc2d1f2cb9ab730c89292f89750fbe2c6d1ad25 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sun, 5 Apr 2026 13:15:33 -0700
Subject: [PATCH] Simplify

---
 .claude/settings.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.claude/settings.json b/.claude/settings.json
index 2626b61..75f4599 100644
--- a/.claude/settings.json
+++ b/.claude/settings.json
@@ -17,7 +17,7 @@
       "Bash(ls:*)",
       "Bash(mkdir:*)",
       "Bash(mkdir:*)",
-      "Bash(python3 -m json.tool)"
+      "Bash(python3 -m json.tool)",
       "Bash(timeout 300 ./gradlew:*)",
       "Bash(wc:*)",
       "Edit(./**)",