Unified printing of fingerprints

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

source/ObjectFile.Mod

@@ -392,7 +392,7 @@ VAR
 			SegmentedNameToString(identifier.name, name);
 			writer.String (name);
 			writer.Char (Separator);
-			writer.Int (identifier.fingerprint, 0);
+			writer.Hex (identifier.fingerprint, 0);
 		END WriteIdentifier;
 
 		PROCEDURE WritePattern(pattern: Pattern);
@@ -543,7 +543,7 @@ VAR
 			reader.SkipWhitespace;
 			reader.String(name);
 			StringToSegmentedName(name,identifier.name);
-			reader.SkipWhitespace; reader.HInt (identifier.fingerprint,FALSE);
+			reader.SkipWhitespace; reader.HInt (identifier.fingerprint,TRUE);
 		END ReadIdentifier;
 
 		PROCEDURE ReadPattern(VAR pattern: Pattern);