Index: trunk/MagicSoft/Mars/datacenter/scripts/sourcefile
===================================================================
--- trunk/MagicSoft/Mars/datacenter/scripts/sourcefile	(revision 8065)
+++ trunk/MagicSoft/Mars/datacenter/scripts/sourcefile	(revision 8078)
@@ -116,5 +116,5 @@
 # alias (we cannot check the beginning of the line due to
 # color codes in filldotraw.C)
-alias 'intgrep'='grep -E -o \\\(int\\\)[0-9]+$'
+alias 'intgrep'='grep -E -o \\\(int\\\)[0-9]+$ | grep -E -o [0-9]+'
 
 # in the following the functions, which are needed by several scripts, are