Commit ba0aec94 authored by leberre's avatar leberre
Browse files

Remove argLine reference

git-svn-id: svn+ssh:// ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 64636ccd
......@@ -157,7 +157,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<argLine>${argLine} -enableassertions -Xmx1024m</argLine>
<argLine>-enableassertions -Xmx1024m</argLine>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment