From 9a1e297ee39c1250162f1fecbc8fb8e8e6d41120 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 3 Sep 2022 14:59:57 -0700
Subject: [PATCH] duplicate

---
 source_file.lua | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/source_file.lua b/source_file.lua
index 978e949..9c0b8a4 100644
--- a/source_file.lua
+++ b/source_file.lua
@@ -56,16 +56,6 @@ function save_to_disk(State)
   outfile:close()
 end
 
-function file_exists(filename)
-  local infile = App.open_for_reading(filename)
-  if infile then
-    infile:close()
-    return true
-  else
-    return false
-  end
-end
-
 -- for tests
 function load_array(a)
   local result = {}