From b16a0d53b0db68224a613b9e39e0313d8970486d Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 26 Oct 2010 22:02:23 +0100
Subject: [PATCH] integration of two different event profilers.

---
 pl/profile.yap | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/pl/profile.yap b/pl/profile.yap
index af8df9a32..5121b5619 100644
--- a/pl/profile.yap
+++ b/pl/profile.yap
@@ -64,16 +64,11 @@ profile_reset :-
 	fail.
 profile_reset.
 
-showprofres :-
-	'$proftype'(offline), !,
-	'$offline_showprofres'.
 showprofres :-
 	showprofres(-1).
 
 showprofres(A) :-
-	'$proftype'(offline), !,
-	'$offline_showprofres'(A).
-showprofres(A) :-
+	('$proftype'(offline) -> '$offline_showprofres' ; true),
 	('$profison' -> profoff, Stop = true ; Stop = false),
 	'$profglobs'(Tot,GCs,HGrows,SGrows,Mallocs,ProfOns),
 	% root node has no useful info.