X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fbad_induction.ma;h=172aa8e117a87efc75d3c7a8ab3be7348d701ec2;hb=44b1f0c3a1e4bdc0abc3b02004c7b385ab63f7c5;hp=b009e18d15d04aea4302428a440804967931a580;hpb=d16ded65610c520937da64721fa34879f167a943;p=helm.git

diff --git a/helm/software/matita/tests/bad_induction.ma b/helm/software/matita/tests/bad_induction.ma
index b009e18d1..172aa8e11 100644
--- a/helm/software/matita/tests/bad_induction.ma
+++ b/helm/software/matita/tests/bad_induction.ma
@@ -12,7 +12,7 @@
 (*                                                                        *)
 (**************************************************************************)
 
-set "baseuri" "cic:/matita/nat/bad_induction".
+
 
 include "nat/nat.ma".