--- 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) */