diff options
Diffstat (limited to 'src/fig0_22.cpp')
| -rw-r--r-- | src/fig0_22.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/fig0_22.cpp b/src/fig0_22.cpp index a76de31..c893cf0 100644 --- a/src/fig0_22.cpp +++ b/src/fig0_22.cpp @@ -41,9 +41,8 @@ bool fig0_22_is_complete(int M_S, int MainId) if (complete) { identifiers_seen.clear(); } - else { - identifiers_seen.insert(identifier); - } + + identifiers_seen.insert(identifier); return complete; } |