X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcontribs%2FRELATIONAL-ARITHMETICS%2Fmakefile;h=a9ac2184e9011c00b0f479caf4cf44f95c8cfe3f;hb=9ca53c3604f5816916216e7bae2de6c30d3255f7;hp=dc30e259530fb608cc0aa6a8aa436ae3e197c771;hpb=cf957da981e3f4559f1decfc257cd08860f4dc77;p=helm.git

diff --git a/matita/contribs/RELATIONAL-ARITHMETICS/makefile b/matita/contribs/RELATIONAL-ARITHMETICS/makefile
index dc30e2595..a9ac2184e 100644
--- a/matita/contribs/RELATIONAL-ARITHMETICS/makefile
+++ b/matita/contribs/RELATIONAL-ARITHMETICS/makefile
@@ -1,6 +1,6 @@
 H=@
 
-RT_BASEDIR=/home/fguidi/svn/trunk/helm/software/matita/
+RT_BASEDIR=/home/fguidi/svn/software/matita/
 OPTIONS=-bench
 MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
 CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS)