[Xsb-commits] SF.net SVN: XSB commit:[7809] trunk/XSB/cmplib

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

Revision: 7809
          http://sourceforge.net/p/xsb/src/7809
Author:   dwarren
Date:     2013-10-02 13:05:09 +0000 (Wed, 02 Oct 2013)
Log Message:
-----------
Added import of once/1 as needed for answer subsumption transformation.

Modified Paths:
--------------
    trunk/XSB/cmplib/cp_opt.P
    trunk/XSB/cmplib/cp_opt.xwam