iscc.c: use isl_stream_get_ctx instead of reading ctx field of isl_stream

[barvinok.git] / matrix_read.h

#include <iostream>
#include <barvinok/polylib.h>
#include "conversion.h"

Matrix *Matrix_Read(std::istream& is);