use strftime instead of put_time for gcc 4.8 compatibility
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 21 Oct 2020 15:47:00 +0000 (17:47 +0200)
committerN. Engelhardt <nak@symbioticeda.com>
Wed, 21 Oct 2020 15:47:00 +0000 (17:47 +0200)
commit1c96a0b1d5da678a86e9d3b1b1f56390d38600f3
tree0788a011136567eba24d56be8e7bf85d57632638
parenteccc48c39f258cb0a9d5e176616d848f77f49565
use strftime instead of put_time for gcc 4.8 compatibility
passes/sat/sim.cc