1.1 --- a/transresults.py Thu Mar 23 16:40:57 2017 +0100
1.2 +++ b/transresults.py Thu Mar 23 23:36:32 2017 +0100
1.3 @@ -140,7 +140,13 @@
1.4 "A constant value reference in the translation."
1.5
1.6 def __str__(self):
1.7 - return encode_literal_constant(self.number)
1.8 +
1.9 + # NOTE: Should reference a common variable for the type name.
1.10 +
1.11 + if self.ref.get_origin() == "__builtins__.int.int":
1.12 + return "__INTVALUE(%s)" % self.value
1.13 + else:
1.14 + return encode_literal_constant(self.number)
1.15
1.16 class TrLiteralSequenceRef(LiteralSequenceRef):
1.17