XSB / Bugs / #240 --enable-demand compile failure under Debian 9.4

#240 --enable-demand compile failure under Debian 9.4

Milestone: Other

Status: open

Owner: nobody

Labels: None

Priority: 5

Updated: 2018-06-29

Created: 2018-06-29

Private: No

XSB Version: 3.8.0

demand.h:106:3: error: too few arguments to function ‘delete_predicate_table’

resulted from

# ./configure --with-smodels --enable-demand
# ./makexsb

1 Attachments

debianxsbwdemandfailure.txt