# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1281475122 -7200
# Node ID 2903ee29db242569ecf6de5f03b388b5fa85bef1
# Parent  a3b42d1733ada99f2814c6caa70040288cc118c5
Remove highlighting from attribute names.

diff -r a3b42d1733ad -r 2903ee29db24 micropython/report.py
--- a/micropython/report.py	Tue Aug 10 21:47:50 2010 +0200
+++ b/micropython/report.py	Tue Aug 10 23:18:42 2010 +0200
@@ -784,7 +784,7 @@
         self.dispatch(node.expr)
         self._span_start("attr")
         self.stream.write(".")
-        self._name(node.attrname)
+        self._span(node.attrname, "attrname")
         self._span_end()
         self._span_end()