Added module CRC in reflection (identifiability)

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

source/Generic.Reflection.Mod

@@ -930,7 +930,9 @@ CONST
 		refs := mod.refs;
 		offset := 0; 
 		
-		w.String("State "); w.String(mod.name); w.Char(":"); w.Ln; Wait(w);
+		w.String("State "); w.String(mod.name); w.Char(":"); 
+		w.String(" (CRC = "); w.Hex(mod.crc,-8) ; w.String(")");
+		w.Ln; Wait(w);
 		IF (GetChar(refs, offset) = sfModule) THEN
 			SkipSize(offset);
 			SkipString(refs, offset);