diff stream/vcd_read.h @ 24032:144162149176

Fix likely mistake when using char*.
author cehoyos
date Mon, 13 Aug 2007 08:32:47 +0000
parents 70cc4846c885
children aef6ff061c9a
line wrap: on
line diff