reenabled rarely used feature for debugging of faulty kernels

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7624 8c9fc860-2736-0410-a75d-ab315db34111

source/Debugging.Mod

@@ -200,7 +200,6 @@ VAR
 		TRACE(Heaps.GC, "enabled"); 
 	END EnableGC;
 
-(* rarely required now -- procedure descriptors are now in references and visible via trap
 	(* useful for debugging the GC / metadata *)
 	PROCEDURE ReportProcedureDescriptors*;
 	VAR m: Modules.Module; i,j: LONGINT;
@@ -225,7 +224,6 @@ VAR
 			m := m.next;
 		END;
 	END ReportProcedureDescriptors;
-*)
 
 BEGIN
 	Streams.OpenWriter( DefaultLog, KernelLog.Send );  Log := DefaultLog; NEW( lock );