From b7d97bf4f6b244cd8b7958abc22b9af8340905f1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 20 Aug 2014 07:55:44 -0500
Subject: [PATCH] needs maplist library.

---
 library/clp/simplex.pl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/library/clp/simplex.pl b/library/clp/simplex.pl
index 4cfcf3735..4acd59b68 100644
--- 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