Fix duplicate tag problem (simon987/sist2#48)

2025-12-14 07:49:06 +00:00 · 2020-05-05 20:20:10 -04:00
parent e6fde38c24
commit 0ef4292abf
7 changed files with 18 additions and 15 deletions
--- a/src/ctx.h
+++ b/src/ctx.h
@@ -27,8 +27,6 @@ struct {

    int threads;
    int depth;
-    int verbose;
-    int very_verbose;

    size_t stat_tn_size;
    size_t stat_index_size;