Fix handling of expression width in $past, fixes #810
authorClifford Wolf <clifford@clifford.at>
Thu, 21 Feb 2019 16:55:33 +0000 (17:55 +0100)
committerClifford Wolf <clifford@clifford.at>
Thu, 21 Feb 2019 16:55:33 +0000 (17:55 +0100)
commit974927adcf916fc953ae4b756fd1806cfa423655
tree020fd5f448cc6bc67bc3e4a6e6c35d4eb939fdac
parent28fba903c595710c401a6c7d49e7bfd3f8c64efc
Fix handling of expression width in $past, fixes #810

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/ast/simplify.cc