Merge branch 'master' of ygdrassil_git:ar1516

[ar1516.git] / a2 / src / path.sh

diff --git a/a2/src/path.sh b/a2/src/path.sh
index 3603923..abe4d9a 100644 (file)
--- a/a2/src/path.sh
+++ b/a2/src/path.sh
@@ -1,3 +1,3 @@
-export PATH=$PATH:/home/mart/downloads/NuSMV-2.5.4/nusmv
+export PATH=$PATH:/home/mart/downloads/NuSMV-2.6.0-Linux/bin
 export PATH=$PATH:/home/mart/projects/NuSMV-2.6.0-Linux/bin
 export PATH=$PATH:/home/mart/projects/LADR-2009-11A/bin