From c055a1b1b685a88673562f24d77623fc53db8420 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 24 Sep 2008 11:25:22 +0000
Subject: [PATCH] ...

---
 helm/software/components/ng_kernel/TODO | 1 +
 1 file changed, 1 insertion(+)

diff --git a/helm/software/components/ng_kernel/TODO b/helm/software/components/ng_kernel/TODO
index d2a7c81fb..5852d9b52 100644
--- 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 ===
-- 
2.39.2