Commit 638c9854 authored by Martin Jonáš's avatar Martin Jonáš
Browse files

Typo.

parent 2c8749c3

Solver.cpp

+1 −1
Original line number Diff line number Diff line
@@ -114,7 +114,7 @@ Result Solver::solveReduced(const z3::expr &formula, int bw, int originalBw) 


    if (bw == originalBw && (line == "sat" || line == "unsat"))

    {

      return line == "SAT" ? SAT : UNSAT;

      return line == "sat" ? SAT : UNSAT;

    }



    if (line == "sat")