ocaml 3.09 transition

[helm.git] / helm / EXPORT / export_Utrecht_Ramsey / Makefile

diff --git a/helm/EXPORT/export_Utrecht_Ramsey/Makefile b/helm/EXPORT/export_Utrecht_Ramsey/Makefile
index 2015d1755a57868c7ccf76818839bd660dac73a1..576b198db3be68ebfe91e7db0c8e1220f56622a8 100644 (file)
--- 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