From fbc2dfcff30f140ede6409774ddecea5b4a0003f Mon Sep 17 00:00:00 2001
From: Javier Romero <javier@cs.uni-potsdam.de>
Date: Wed, 15 May 2024 10:18:25 +0200
Subject: [PATCH] Fix bug found by Ben

---
 examples/reify/classical/encoding.lp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) }.