Fix bug found by Ben

potassco · May 15, 2024 · fbc2dfc · fbc2dfc
1 parent 849f282
commit fbc2dfc
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) }.