Menu

Commit [r7658]  Maximize  Restore  History

Fixed bug I introduced when changing types for Integer.

Now throws intended error message.

dwarren 2012-11-08

changed /trunk/XSB/emu/std_pred_xsb_i.h
/trunk/XSB/emu/std_pred_xsb_i.h Diff Switch to side-by-side view
Loading...
Monday.com Logo