diff --git a/src/runtime/c/pgf/reader.cxx b/src/runtime/c/pgf/reader.cxx index 4e8c6e416..57008ec01 100644 --- a/src/runtime/c/pgf/reader.cxx +++ b/src/runtime/c/pgf/reader.cxx @@ -693,6 +693,9 @@ ref PgfReader::read_lin() { ref lin = read_name(&PgfConcrLin::name); lin->absfun = namespace_lookup(abstract->funs, &lin->name); + if (lin->absfun == 0) + throw pgf_error("Found a lin without a fun"); + lin->args = read_vector(&PgfReader::read_parg); lin->res = read_vector(&PgfReader::read_presult2); lin->seqs = read_seq_ids(lin.tagged());