diff options
Diffstat (limited to 'native/src/testmain.cpp')
| -rw-r--r-- | native/src/testmain.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/native/src/testmain.cpp b/native/src/testmain.cpp index 767af02..a68b786 100644 --- a/native/src/testmain.cpp +++ b/native/src/testmain.cpp | |||
| @@ -930,7 +930,8 @@ int main(int argc, char** argv) | |||
| 930 | 930 | ||
| 931 | delete results; | 931 | delete results; |
| 932 | 932 | ||
| 933 | #if defined(CONFIG_HAVE_CPLEX) | 933 | |
| 934 | #if defined(CONFIG_HAVE_CPLEX) || defined(CONFIG_HAVE_GLPK) | ||
| 934 | 935 | ||
| 935 | results = lp_dpcp_bounds(rsi, loc, false); | 936 | results = lp_dpcp_bounds(rsi, loc, false); |
| 936 | 937 | ||
