1 files changed, 0 insertions, 19 deletions
diff --git a/scripts2/utils.py b/scripts2/utils.py
index e33ed25..c90dd83 100644
--- a/scripts2/utils.py
+++ b/scripts2/utils.py
@@ -23,25 +23,6 @@
 
 import os
 
-header = '''/* This file is generated by python scripts. Don't edit this file directly.
- */
-'''
-
-
-def expand_file(filename, get_table_content):
-    infile = open(filename, "r")
-    print(header)
-    for line in infile.readlines():
-        line = line.rstrip(os.linesep)
-        if len(line) < 3:
-            print(line)
-            continue
-        if line[0] == '@' and line[-1] == '@':
-            tablename = line[1:-1]
-            print(get_table_content(tablename))
-        else:
-            print(line)
-
 
 def shuffle_all(instr):
     for output in shuffle_recur(instr):