git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8530 8c9fc860-2736-0410-a75d-ab315db34111
@@ -6,7 +6,7 @@ IMPORT
Fingerprinter := FoxFingerprinter, Files, Options, ObjectFile, SymbolFileFormat := FoxTextualSymbolFile, Strings, KernelLog, D := Debugging;
CONST
- Version = 5;
+ Version = 6;
Trace = FALSE;
TraceAliases = FALSE;
WarnDuplicateFingerprints = FALSE;