Pointer arithmetic

Thanks! It is fixed.On Tue, Aug 18, 2015 at 3:48 PM, Barry Schwartz < chemoe...@chemoelectric.org> wrote:

I notice using -Wpointer-arith that the cats files in the prelude have
at least one difference of void pointers. I would think these should
be cast to (char*) before taking the difference, for standards
compliance.


You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/20150818194836.GA16269%40crud
.