From 5204ae289092d4afc1d22121de694153992e8444 Mon Sep 17 00:00:00 2001
From: Thomas Weinert <thomas@weinert.info>
Date: Wed, 9 Nov 2011 19:21:30 +0100
Subject: [PATCH] Update PHP/CodeCoverage/Report/Node.php

---
 PHP/CodeCoverage/Report/Node.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/PHP/CodeCoverage/Report/Node.php b/PHP/CodeCoverage/Report/Node.php
index 0f43a6e36..849148e3a 100644
--- a/PHP/CodeCoverage/Report/Node.php
+++ b/PHP/CodeCoverage/Report/Node.php
@@ -120,7 +120,7 @@ public function getId()
                 $parentId = $parent->getId();
 
                 if ($parentId == 'index') {
-                    $this->id = $this->name;
+                    $this->id = str_replace(':', '_', $this->name);
                 } else {
                     $this->id = $parentId . '_' . $this->name;
                 }