Small fix

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #154 (6651e89) into main (ccf75c6) will increase coverage by 1.37%.
The diff coverage is 59.09%.

❗ Current head 6651e89 differs from pull request most recent head a1eac5c. Consider uploading reports for the commit a1eac5c to get more accurate results

@@            Coverage Diff             @@
##             main     #154      +/-   ##
==========================================
+ Coverage   64.38%   65.75%   +1.37%     
==========================================
  Files         215      221       +6     
  Lines       27693    29800    +2107     
  Branches     6177     6568     +391     
==========================================
+ Hits        17831    19596    +1765     
- Misses       7572     7708     +136     
- Partials     2290     2496     +206     

Files	Coverage Δ
lib/Core/Executor.cpp	73.52% <100.00%> (-0.78%)	⬇️
lib/Expr/Constraints.cpp	84.00% <100.00%> (+0.33%)	⬆️
lib/Expr/IndependentSet.cpp	80.80% <55.00%> (-2.39%)	⬇️

... and 44 files with indirect coverage changes