Be more conservative with printing decimal numbers in verilog backend
authorClifford Wolf <clifford@clifford.at>
Sat, 2 Aug 2014 19:54:02 +0000 (21:54 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 2 Aug 2014 19:54:02 +0000 (21:54 +0200)
commit88cf00ce7874ec7951b09d85e959dd2c6ed261b6
treea12e6d0156048212c00c110c967a451fc0ed7236
parentca1b5d50e0e577a88ae265b71679b81e71980db8
Be more conservative with printing decimal numbers in verilog backend
backends/verilog/verilog_backend.cc