Merge pull request #497 from javier-romero/patch-1

Fix bug found by Ben
potassco · May 15, 2024 · 2ee5b14 · 2ee5b14
2 parents 4113b4b + fbc2dfc
commit 2ee5b14
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/reify/classical/encoding.lp b/examples/reify/classical/encoding.lp
@@ -2,6 +2,6 @@
 
 atom( A ) :- atom_tuple(_,A).
 atom(|L|) :-          literal_tuple(_,L).
-atom(|L|) :- weighted_literal_tuple(_,L).
+atom(|L|) :- weighted_literal_tuple(_,L,_).
 
 { hold(A) : atom(A) }.