as: tunit: correct type of address field in #s_insn{}

This commit is contained in:
Mikael Pettersson 2019-09-07 21:51:11 +02:00
parent c41caee3ba
commit 162faefd81

View File

@ -59,7 +59,7 @@
-record(s_insn,
{ high13 :: 0..((1 bsl 13) - 1)
, at :: boolean()
, address :: non_neg_integer() % TODO: relocatable expr
, address :: expr()
, index :: 0..((1 bsl 4) - 1)
}).