summaryrefslogtreecommitdiffhomepage
path: root/ir/lpp
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2011-07-25 15:52:20 +0200
committerMatthias Braun <matze@braunis.de>2011-08-12 19:49:54 +0200
commit994d0ebad74ba3df6ccc42ff0cee6aa8ee568ac3 (patch)
treec02714b24b7f52b1ec08584040b8d62e84a61c30 /ir/lpp
parentc40cddcb2ab00386525581d30eb51759eeb985af (diff)
use 'default' ilp solver if nothing specified
Diffstat (limited to 'ir/lpp')
-rw-r--r--ir/lpp/lpp_solvers.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/ir/lpp/lpp_solvers.c b/ir/lpp/lpp_solvers.c
index 104b8f2..a8610d0 100644
--- a/ir/lpp/lpp_solvers.c
+++ b/ir/lpp/lpp_solvers.c
@@ -41,6 +41,9 @@ lpp_solver_func_t *lpp_find_solver(const char *name)
{
int i;
+ if (name[0] == '\0')
+ return lpp_solvers[0].solver;
+
for(i = 0; lpp_solvers[i].solver != NULL; i++)
if(strcmp(lpp_solvers[i].name, name) == 0)
return lpp_solvers[i].solver;