--- trace.py.orig	2006-02-11 22:07:27.000000000 +0200
+++ trace.py	2006-02-11 22:08:38.000000000 +0200
@@ -282,6 +282,8 @@ class CoverageResults:
             # skip some "files" we don't care about...
             if filename == "<string>":
                 continue
+            if filename.startswith("<doctest "):
+                continue
 
             if filename.endswith(".pyc") or filename.endswith(".pyo"):
                 filename = filename[:-1]