diff stream/vcd_read_os2.h @ 34488:01c19d9b1e83

Print an error when streams behave in a way that the cache cannot handle.
author reimar
date Sun, 15 Jan 2012 12:38:38 +0000
parents 3ab3212fb624
children 3a192d8ecc56
line wrap: on
line diff