X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FEXPORT%2Fexport_Utrecht_Ramsey%2FMakefile;h=576b198db3be68ebfe91e7db0c8e1220f56622a8;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=2015d1755a57868c7ccf76818839bd660dac73a1;hpb=5cc1f56f25e23f8132b578f9ad46ac9e27979cb4;p=helm.git

diff --git a/helm/EXPORT/export_Utrecht_Ramsey/Makefile b/helm/EXPORT/export_Utrecht_Ramsey/Makefile
index 2015d1755..576b198db 100644
--- a/helm/EXPORT/export_Utrecht_Ramsey/Makefile
+++ b/helm/EXPORT/export_Utrecht_Ramsey/Makefile
@@ -2,7 +2,7 @@ all: objects theories
 
 objects:
 	coqc -R Ramsey Utrecht.Ramsey Ramsey/*.v
-	echo "Load Verbose prova_Utrecht_Ramsey." | ~/V7/bin/coqtop.byte -R Ramsey Utrecht.Ramsey
+	echo "Load Verbose prova_Utrecht_Ramsey." | coqtop.byte -R Ramsey Utrecht.Ramsey
 
 theories:
 	./exporttheories.sh