From 276024a4369252ad239ff7b4d5ebabd68937a535 Mon Sep 17 00:00:00 2001
From: Mark Law <mark@ilasp.com>
Date: Wed, 3 Jan 2024 12:26:27 +0000
Subject: [PATCH] Fix small bug in --delay-generalisation

---
 FastLAS2/implementation/meta_programs/OptimiseSym.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/FastLAS2/implementation/meta_programs/OptimiseSym.h b/FastLAS2/implementation/meta_programs/OptimiseSym.h
index df2e4bd..8a83f78 100644
--- a/FastLAS2/implementation/meta_programs/OptimiseSym.h
+++ b/FastLAS2/implementation/meta_programs/OptimiseSym.h
@@ -85,12 +85,13 @@ end
 #end.
 
 #show in/1.
-#show len/1.
+#show pen/1.
+#show penalty/2.
 #show eg_uncov/1.
 #show disj_satisfied/1.
 
 pen(1..L) :- #sum { A, T : penalty(T, A) } = L, L < 10.
-#heuristic len(A).[1@1, false]
+#heuristic pen(A).[1@1, false]
 #heuristic eg_uncov(A).[1@1, false]
 #heuristic disj_satisfied(A).[1@1, true]