added LICENSE

[helm.git] / helm / interface / isterix

diff --git a/helm/interface/isterix b/helm/interface/isterix
index 17ddfc9d708b5f7b68724a166f083930a92298a0..a7d6c4d3e4ce87ecd7c928321b0716e66c8437e5 100755 (executable)
--- a/helm/interface/isterix
+++ b/helm/interface/isterix
@@ -3,7 +3,6 @@
 # WARNING!!! No "//" in the middle of the path, nor a "/" at the end!!!!
 
 #V6.2
-#export HELM_CONFIGURATION_PREFIX=~/HELM/installation
 
 # Per (my)Coq 6.3.0
 export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH