Menu

Commit [r9685]  Maximize  Restore  History

Changed cryptic warning message:

++Warning[XSB]: [Compiler] **Unknown** : Spurious index declaration: 13 will never be used, because of earlier: 3

to

++Warning[XSB]: [Compiler] ./test_index : In the table ... as ... index declaration index([2, 3, 1 + 3]) for p1/3, the index 1 + 3 will never be used \
because of the earlier index 3

tswift 2019-10-09

changed /trunk/XSB/cmplib/cp_opt.H
changed /trunk/XSB/cmplib/cp_opt.P
changed /trunk/XSB/cmplib/cp_opt.xwam
/trunk/XSB/cmplib/cp_opt.H Diff Switch to side-by-side view
Loading...
/trunk/XSB/cmplib/cp_opt.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/cmplib/cp_opt.xwam
Binary file was changed.