solved slow finishing bug

1 files changed, 1 insertions, 0 deletions

diff --git a/parser.h b/parser.h
index ea1e3bc0..66524d11 100644
--- a/parser.h
+++ b/parser.h
@@ -63,6 +63,7 @@ void end_parser(parser* pf);
 example* get_example(size_t thread_num);
 void free_example(example* ec);
 void make_example_available();
+bool parser_done();
 
 //source control functions
 bool inconsistent_cache(size_t numbits, io_buf& cache);