git » fp-git.git » commit a240881

diff --git a/FP/src/ker/kernel.c b/FP/src/ker/kernel.c
index ca853b4..adc8dd1 100644
--- a/FP/src/ker/kernel.c
+++ b/FP/src/ker/kernel.c
@@ -59,7 +59,8 @@ int kernel(int optionflag,int level) {
 	);
 	
 	for (i=0;i<testResource->frames;i++) {
-		//printf("frame %d: ",i);
+		/* Note: for the moment there is a testing abstraction violation here */
+		printf("frame %d: size=%d\n",i,((tMemory*)(testResource->pFrames[i]))->size);
 	}
 	
 	return 0;