]> mj.ucw.cz Git - eval.git/blobdiff - bin/ev
Fixed bug in searching for alternative solutions.
[eval.git] / bin / ev
diff --git a/bin/ev b/bin/ev
index 554e5dc874778df2d980539088e1d30365475242..eeb5f0099aa15519c8f2a575fcf9fb630e172a9e 100755 (executable)
--- a/bin/ev
+++ b/bin/ev
@@ -19,7 +19,7 @@ log-init
 box-init
 
 # Compile the program
-locate-source $3
+locate-source $SDIR/$3
 compile || true
 
 # Initialize the points file