Menu

Commit [r8625]  Maximize  Restore  History

Fixed multithreaded calls to throw_permission_error that I just added.

Thanks, Barry.

dwarren 2016-02-06

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