Patched bug for profiler instrumentation

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

source/FoxIntermediateBackend.Mod

@@ -1521,7 +1521,10 @@ TYPE
 		VAR body: SyntaxTree.Body;
 		VAR procedureType: SyntaxTree.ProcedureType;
 		BEGIN
-			procedureType := procedure.type(SyntaxTree.ProcedureType);
+			IF procedure # NIL THEN 
+				procedureType := procedure.type(SyntaxTree.ProcedureType);
+			ELSE procedureType := NIL;
+			END;
 			ASSERT((procedure = NIL) OR ~procedureType.noPAF);
 			prevSection := SELF.section;
 			SELF.section := section;