From b0b3bdceb390c0abc77a121e3e4d92db3a2c3d9a Mon Sep 17 00:00:00 2001
From: leopoldmayer <leomayer@uw.edu>
Date: Sat, 10 Jun 2023 06:58:23 -0700
Subject: [PATCH] removed unnecessary file

---
 CommAlg.lean | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 CommAlg.lean

diff --git a/CommAlg.lean b/CommAlg.lean
deleted file mode 100644
index e99d3a6..0000000
--- a/CommAlg.lean
+++ /dev/null
@@ -1 +0,0 @@
-def hello := "world"
\ No newline at end of file