| 42 | // compatibility. |
| 43 | |
| 44 | GrB_Info GxB_Vector_resize // change the size of a vector |
| 45 | ( |
| 46 | GrB_Vector u, // vector to modify |
| 47 | GrB_Index nrows_new // new number of rows in vector |
| 48 | ) |
| 49 | { |
| 50 | return (GrB_Vector_resize (u, nrows_new)) ; |
| 51 | } |
| 52 |
no test coverage detected