Menu

Commit [r7841]  Maximize  Restore  History

Fixed typo in an error message.

dwarren 2013-11-12

changed /trunk/XSB/emu/tr_utils.c
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB