Renamed iterative into map_iter_p and moved around a few theorems.

[helm.git] / helm / software / matita / tests / dependent_injection.ma

diff --git a/helm/software/matita/tests/dependent_injection.ma b/helm/software/matita/tests/dependent_injection.ma
index ebadd3c2ee0223944119f71ef12b83da3dd8d842..28991acf43cfcf55cc07ef6ef3cb5047126d4927 100644 (file)
--- a/helm/software/matita/tests/dependent_injection.ma
+++ b/helm/software/matita/tests/dependent_injection.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/test/dependent_injection/".
+set "baseuri" "cic:/matita/tests/dependent_injection".
 
 include "legacy/coq.ma".