--- a/src/goto-instrument/wmm/instrumenter_strategies.cpp 2018-12-18 13:04:16.000000000 -0700
+++ b/src/goto-instrument/wmm/instrumenter_strategies.cpp 2019-01-17 20:00:24.819766444 -0700
@@ -313,7 +313,7 @@ void inline instrumentert::instrument_mi
#endif
/* solves MIP by branch-and-cut */
- glp_load_matrix(lp, mat_size, imat, jmat, vmat);
+ glp_load_matrix(lp, mat_size, imat.data(), jmat.data(), vmat.data());
glp_intopt(lp, &parm);
/* loads results (x_i) */