1 files changed, 1 insertions, 0 deletions
diff --git a/conf.py b/conf.py
index eb8e7ac..b4c2261 100644
--- a/conf.py
+++ b/conf.py
@@ -101,6 +101,7 @@ measure_file = build_folder + 'measure'
 dot_measure_file = build_folder + 'dot_measure'
 dot_config_back_file = build_folder + 'dot_config_back'
 single_generated_file = build_folder + 'single_generated'
+measurechecked_file = build_folder + 'measurechecked'
 
 result_folder = 'result/'
 log_folder = 'log/'