needs maplist library.

2014-08-20 07:55:44 -05:00
parent 4573afa70b
commit b7d97bf4f6
1 changed files with 1 additions and 0 deletions
--- a/library/clp/simplex.pl
+++ b/library/clp/simplex.pl
@@ -51,6 +51,7 @@
 :- use_module(library(clpr)).
 :- use_module(library(assoc)).
 :- use_module(library(pio)).
+:- use_module(library(maplist)).

 /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
   CLP(R) bindings