isterix updated

diff --git a/helm/interface/isterix b/helm/interface/isterix
index a1f696a3b53d5a376a2935f107c4ae637ef89317..61392b01cdd9a22889beb8bb4c842358fe39d9b8 100755 (executable)
--- a/helm/interface/isterix
+++ b/helm/interface/isterix
@@ -9,4 +9,4 @@ export CLASSPATH=$CLASSPATH:/home/lpadovan/helm/java/saxon-5.3.2/saxon.jar
 
 # Per (my)Coq 6.3.0
 export LD_LIBRARY_PATH=/home/lpadovan/helm/usr/lib/:$LD_LIBRARY_PATH
-export LD_LIBRARY_PATH=/usr/local/lib/gtkmathview:$LD_LIBRARY_PATH
+export LD_LIBRARY_PATH=/usr/local/lib/:$LD_LIBRARY_PATH