[Xsb-commits] SF.net SVN: XSB commit:[8675] trunk/XSB/emu/slginsts_xsb_i.h

[<dw...@us...>]

Revision: 8675
          http://sourceforge.net/p/xsb/src/8675
Author:   dwarren
Date:     2016-04-13 19:18:49 +0000 (Wed, 13 Apr 2016)
Log Message:
-----------
Clarified comment (on pruning in early completion.)

Modified Paths:
--------------
    trunk/XSB/emu/slginsts_xsb_i.h