Small fix

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #132 (2fece8f) into main (8798ea5) will decrease coverage by 0.05%.
The diff coverage is 90.47%.

❗ Current head 2fece8f differs from pull request most recent head e146884. Consider uploading reports for the commit e146884 to get more accurate results

@@            Coverage Diff             @@
##             main     #132      +/-   ##
==========================================
- Coverage   66.41%   66.36%   -0.05%     
==========================================
  Files         215      215              
  Lines       29631    29641      +10     
  Branches     6569     6570       +1     
==========================================
- Hits        19678    19672       -6     
- Misses       7442     7463      +21     
+ Partials     2511     2506       -5     

Files	Coverage Δ
lib/Core/ExecutionState.h	93.40% <100.00%> (+0.38%)	⬆️
lib/Core/Executor.cpp	74.44% <100.00%> (-0.05%)	⬇️
lib/Core/ExecutionState.cpp	73.83% <81.81%> (-0.08%)	⬇️

... and 5 files with indirect coverage changes