[m-rev.] for review: fix C compiler warnings for robdd.m

[Zoltan Somogyi]

The best reviewer would be Peter Schachte or David Overton, but
I don't think they are on the mailing list. Would anyone like to take
a crack at it? Even just seeing whether it compiles cleanly on your
machine would help.
 
Note that while the code compiles without warning on my machine,
I don't make guarantees about it working properly, since it seems
that the code had bugs before I started. For example, it compiled
with real hard errors (not warnings) if MR_ROBDD_STATISTICS
was defined. Unfortunately, I don't think we ever had any tests
that tested robdd operations specifically. Does anyone know otherwise?

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.robdd
Type: application/octet-stream
Size: 1657 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20140907/ac315392/attachment.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.robdd
Type: application/octet-stream
Size: 162651 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20140907/ac315392/attachment-0001.obj>