diff options
Diffstat (limited to 'new-luxc/test/test/luxc/lang/translation/structure.lux')
| -rw-r--r-- | new-luxc/test/test/luxc/lang/translation/structure.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/test/test/luxc/lang/translation/structure.lux b/new-luxc/test/test/luxc/lang/translation/structure.lux index 70e3b5951..078079b6b 100644 --- a/new-luxc/test/test/luxc/lang/translation/structure.lux +++ b/new-luxc/test/test/luxc/lang/translation/structure.lux @@ -100,7 +100,7 @@ (let [_tag (:! Integer (maybe.assume (array.read +0 valueT))) _last? (array.read +1 valueT) _value (:! Top (maybe.assume (array.read +2 valueT)))] - (and (n/= tag (|> _tag host.i2l int-to-nat)) + (and (n/= tag (|> _tag host.int-to-long int-to-nat)) (case _last? (#.Some _last?') (and last? (text/= "" (:! Text _last?'))) |