Regenerated problems with corrected tptp2grafite

[helm.git] / helm / software / matita / contribs / ng_TPTP / Veloci

diff --git a/helm/software/matita/contribs/ng_TPTP/Veloci b/helm/software/matita/contribs/ng_TPTP/Veloci
index 798c787b363a6bd4048fb40dca1a767e5c13b4b6..75ed1d47169bf47b30c7ff476d932544610226dd 100644 (file)
--- a/helm/software/matita/contribs/ng_TPTP/Veloci
+++ b/helm/software/matita/contribs/ng_TPTP/Veloci
@@ -11,7 +11,6 @@ BOO009-2.ma
 BOO009-4.ma
 BOO010-2.ma
 BOO010-4.ma
-BOO010-4.ma
 BOO011-2.ma
 BOO011-4.ma
 BOO012-2.ma