cicDischarge: final fixup. Now correctly processes Coq/Init/Logic.mma :)

[helm.git] / helm / software / matita / contribs / procedural / Coq / root

diff --git a/helm/software/matita/contribs/procedural/Coq/root b/helm/software/matita/contribs/procedural/Coq/root
index 50d22b01376fb2298b36182616cf24227c0819a1..15286f493990c0ac8e86f434b5728351ccda6c30 100644 (file)
--- a/helm/software/matita/contribs/procedural/Coq/root
+++ b/helm/software/matita/contribs/procedural/Coq/root
@@ -1,2 +1 @@
 baseuri=cic:/matita/procedural/Coq
-include_paths=../../../legacy