Index: trunk/src/file.c
===================================================================
--- trunk/src/file.c	(revision 815)
+++ trunk/src/file.c	(revision 816)
@@ -402,9 +402,7 @@
   start = clock ();
 #endif
 
-//  new_filename = strdup (Filename);
 	resolve_path(Filename, &new_filename);
-	printf("JAJJ: '%s' -> '%s'\n", Filename, new_filename);
 
   oldPCB = PCB;
   PCB = newPCB;