From 0607d7650f6b95b57b7fba24d85e674ce4a189bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= <sloriot.ml@gmail.com>
Date: Wed, 29 Dec 2010 08:47:09 +0000
Subject: [PATCH] update profile script for change in CGAL

---
 Filtered_kernel/developer_scripts/profile_cleanup | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Filtered_kernel/developer_scripts/profile_cleanup b/Filtered_kernel/developer_scripts/profile_cleanup
index 75bc9fc024f..35b9011ffaa 100755
--- a/Filtered_kernel/developer_scripts/profile_cleanup
+++ b/Filtered_kernel/developer_scripts/profile_cleanup
@@ -46,5 +46,5 @@ cat $@ | sed -e 's/CGAL:://g' \
              -e 's/<EK >//g' \
              -e 's/<IK >//g' \
              -e 's/ (.*)/ /g' \
-       | grep Profile_counter \
+       | grep Profile_branch_counter \
        | sort -t":" -k2