I can't believe I missed it. I think I must have forgotten to look at SequentialType when I was searching through the API docs.<br><br>Thanks very much,<br><br>Daniel<br><br><div class="gmail_quote">2009/10/20 Duncan Sands <span dir="ltr"><<a href="mailto:baldrick@free.fr">baldrick@free.fr</a>></span><br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi Daniel,<div class="im"><br>
<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
    Type *allocated_type = ptr_type->dereference(); // this is the<br>
    operation that doesn't seem to exist.<br>
</blockquote>
<br></div>
Type *allocated_type = ptr_type->getElementType();<br>
<br>
Ciao,<br><font color="#888888">
<br>
Duncan.<br>
</font></blockquote></div><br>