aggregates should know about with operator

2013-11-07 23:49:16 +00:00 · 2013-11-07 23:49:16 +00:00 · 810a7faf4e
commit 810a7faf4e
parent a3c9684714
1 changed files with 2 additions and 1 deletions
--- a/packages/CLPBN/clpbn/aggregates.yap
+++ b/packages/CLPBN/clpbn/aggregates.yap
@ -11,7 +11,8 @@
 		]).

 :- use_module(library(clpbn),
-		[{}/1]).
+		[{}/1,
+		 op(500, xfy, with)]).

 :- use_module(library(lists),
 		[last/2,