Module: ppl/ppl Branch: devel Commit: 395a6220191367667190e8e543edc7cf7ed3be8b URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=395a622019136...

Author: Roberto Bagnara roberto.bagnara@bugseng.com Date: Thu Jun 25 08:57:24 2020 +0200

Obsolete link option removed.

---

.../Prolog/XSB/ppl_interface_generator_xsb_H.m4 | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4 b/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4 index 1ee05c7..07edf7e 100644 --- a/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4 +++ b/interfaces/Prolog/XSB/ppl_interface_generator_xsb_H.m4 @@ -35,7 +35,7 @@ m4_include(`ppl_interface_generator_copyright')dnl :- export m4_divert(1)

-:- ldoption('-L../../../src/.libs -lppl -L../../../Watchdog/.libs -lpwl -lgmp -lgmpxx'). +:- ldoption('-L../../../src/.libs -lppl -L../../../Watchdog/.libs -lgmp -lgmpxx').

m4_define(`m4_expanded_procedure_schema', `m4_ifelse($4, 0, ` $1/$2', `COMMA $1/$2')')