diff --git a/source/debug_tools.py b/source/debug_tools.py index 09398ee..ac5cdbb 100644 --- a/source/debug_tools.py +++ b/source/debug_tools.py @@ -7,7 +7,8 @@ def write_to_dot(transducer, file_name): - open(os.path.join(dot_files_folder_path, file_name+".dot"), "w").write(transducer.dot_representation()) + pass + #open(os.path.join(dot_files_folder_path, file_name+".dot"), "w").write(transducer.dot_representation()) run_times_by_function_names = defaultdict(list)