From: Doni Pracner <quinnuendo@gmail.com>
Date: Fri, 19 Jul 2019 12:03:00 +0000 (+0200)
Subject: ant task, use hill climbing by default
X-Git-Tag: v1.1.0~4
X-Git-Url: https://svarog.pmf.uns.ac.rs/gitweb/?a=commitdiff_plain;h=306587b78e421a7221952e44adde831723748e4c;p=mjc2wsl.git

ant task, use hill climbing by default
---

diff --git a/build.xml b/build.xml
index ad7737e..a9dac9f 100644
--- a/build.xml
+++ b/build.xml
@@ -50,9 +50,9 @@
     <property name="samples.main.dir" value="samples" />
     <property name="samples.temp.dir" value="temp" />
 
-    <property name="transf.wsl.file" value="src-wsl/transf-min.wsl" />
+    <property name="transf.wsl.file" value="src-wsl/hill_climbing.wsl" />
     <property name="transf.wsl.ini" value="transf.ini" />
-    <property name="transf.wsl.ext" value="_t.wsl" />
+    <property name="transf.wsl.ext" value="_tr.wsl" />
     <!-- args can be used to send additional arguments to a script -->
     <property name="transf.wsl.args" value="" />