...

diff --git a/helm/software/components/ng_kernel/TODO b/helm/software/components/ng_kernel/TODO
index d2a7c81fbe3186e4d2f84e9afe8a7e6a980da879..5852d9b522c3fa0e745178b9d38d8271d08ab474 100644 (file)
--- a/helm/software/components/ng_kernel/TODO
+++ b/helm/software/components/ng_kernel/TODO
@@ -1 +1,2 @@
 muovere la split_prods nella riduzione e usarla nel caso di convertibilità di 2 match
+in are_convertible togliere il caso Prop,Prop in quanto catturato da ===