From e39c44529e453e897e638bf3424f912891066a5d Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Sun, 1 Jul 2007 13:05:28 +0200
Subject: [PATCH] Fixed bug in searching for alternative solutions.

---
 bin/ev | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/ev b/bin/ev
index 554e5dc..eeb5f00 100755
--- 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
-- 
2.39.5