Closed davidmalcolm closed 7 years ago
Imported from trac issue 27. Created by tromey on 2012-01-08T15:57:16, last modified: 2012-01-09T14:21:43
Trac comment by dmalcolm on 2012-01-09 14:21:43:
Thanks; fixed in 4099d9f8b78f5f65acf340bbda9726f90a955f41
I couldn't find documentation for PointerType.dereference