From 5358a88f120d52959a1cd2dfc134aa872bca61ba Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 27 Jul 2009 12:25:54 +0000 Subject: [PATCH] Since I guess the divergence bug is fixed, I activate the test again. --- .../matita/tests/{ng_includeB.ma.dontrun => ng_includeB.ma} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename helm/software/matita/tests/{ng_includeB.ma.dontrun => ng_includeB.ma} (100%) diff --git a/helm/software/matita/tests/ng_includeB.ma.dontrun b/helm/software/matita/tests/ng_includeB.ma similarity index 100% rename from helm/software/matita/tests/ng_includeB.ma.dontrun rename to helm/software/matita/tests/ng_includeB.ma -- 2.39.2