Commit 648699c6 authored by Adéla Štěpková's avatar Adéla Štěpková
Browse files

fix(parser): better work with vectors

parent 0ae9336e

src/parser.cpp

+1 −1
Original line number Diff line number Diff line
@@ -183,7 +183,7 @@ static Formula read_file(std::ifstream& file) 
            if (clause_finished)

            {

                clauses.push_back(Clause::from_numbers(clause_body));

                clause_body = {};

                clause_body.clear();

            }

            break;

        }