Fix windows binaries exiting with code 24#449

isanych wants to merge 2 commits into

SRI-CSL:per-thread-stateSRI-CSL/yices2:per-thread-statefrom

isanych:remove_tls_errorisanych/yices2:remove_tls_errorCopy head branch name to clipboard