# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1481126412 -3600
# Node ID 5c51c957f560a0de682f41928a833ae5996cc6c4
# Parent  61776a5a0e16de99ffdeab64d2f381dfea704e06
Encode type attributes using the original argument from the instruction.

diff -r 61776a5a0e16 -r 5c51c957f560 encoders.py
--- a/encoders.py	Wed Dec 07 01:05:36 2016 +0100
+++ b/encoders.py	Wed Dec 07 17:00:12 2016 +0100
@@ -225,7 +225,7 @@
         # Convert type name arguments to position and code symbols.
 
         elif op in typename_ops:
-            arg = encode_type_attribute(a[1])
+            arg = encode_type_attribute(args[1])
             a[1] = encode_symbol("pos", arg)
             a.insert(2, encode_symbol("code", arg))