Changeset 2265

Show
Ignore:
Timestamp:
11/11/07 14:16:06 (1 year ago)
Author:
hhubner
Message:

Fix bug which resulted in vectors with fill pointers being incorrectly
written to the snapshot file. Instead of writing the size of the
array, the fill-pointer was written as array dimension, which resulted
in snapshots that could not be restored.

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved