Fix small bug in --delay-generalisation

spike-imperial · Jan 3, 2024 · 276024a · 276024a
1 parent c3e0e70
commit 276024a
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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]