diff --git a/examples/reify/classical/encoding.lp b/examples/reify/classical/encoding.lp
index d66d94b8c..d715988f0 100644
--- 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) }.