diff --git a/source/python/mods/tools.py b/source/python/mods/tools.py
index 18b60aaae1bc5a6fe46822f4db3fe8d2bad9e81f..a64ddde108e2f4c556ec9038fc53437ce2126293 100644
--- a/source/python/mods/tools.py
+++ b/source/python/mods/tools.py
@@ -99,12 +99,6 @@ def none_or_int(value):
         return None
     return int(value)
 
-def check_filepattern(filename):
-    '''
-    '''
-    if '.ksh' in filename:
-        return True
-    return False
 
 def get_cmdline_arguments():
     '''Decomposes the command line arguments and assigns them to variables.