From abec8208d3c4d25e972ad8e372e08989c44e4744 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 4 Mar 2010 23:42:17 +0000 Subject: [PATCH] export operator. --- packages/CLPBN/clpbn.yap | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/packages/CLPBN/clpbn.yap b/packages/CLPBN/clpbn.yap index 9f75234e8..c5090bdcb 100644 --- a/packages/CLPBN/clpbn.yap +++ b/packages/CLPBN/clpbn.yap @@ -9,14 +9,13 @@ clpbn_run_solver/3, clpbn_init_solver/5, clpbn_run_solver/4, - clpbn_init_graph/1]). + clpbn_init_graph/1, + op( 500, xfy, with)]). :- use_module(library(atts)). :- use_module(library(lists)). :- use_module(library(terms)). -:- op( 500, xfy, with). - % % avoid the overhead of using goal_expansion/2. %