ocaml 3.09 transition

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

diff --git a/helm/EXPORT/exportcoq/Makefile b/helm/EXPORT/exportcoq/Makefile
index 79c7463a046086eb5209a051ea5a58d61b2eeda7..5026ec526f835352a9053fa27bd82cb8a7d61f32 100644 (file)
--- a/helm/EXPORT/exportcoq/Makefile
+++ b/helm/EXPORT/exportcoq/Makefile
@@ -1,7 +1,7 @@
 all: objects theories
 
 objects:
-       echo "Load Verbose provacoq." | ~/V7/bin/coqtop.byte
+       echo "Load Verbose provacoq." | coqtop.byte
 
 theories:
        ./exporttheories.sh