changed base uri

[helm.git] / helm / software / matita / library_auto / nat / sigma_and_pi.ma

diff --git a/helm/software/matita/library_auto/nat/sigma_and_pi.ma b/helm/software/matita/library_auto/nat/sigma_and_pi.ma
index a8824eb90fc4b5c0ca02fb4f53aa98a1be943e7d..983e7644fd7c44d9f743f076da84ffe01f573298 100644 (file)
--- a/helm/software/matita/library_auto/nat/sigma_and_pi.ma
+++ b/helm/software/matita/library_auto/nat/sigma_and_pi.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/nat/sigma_and_pi".
+set "baseuri" "cic:/matita/library_auto/nat/sigma_and_pi".
 
 include "nat/factorial.ma".
 include "nat/exp.ma".