diff --git a/src/runtime/c/pgf/reader.h b/src/runtime/c/pgf/reader.h index ad3fbf330..0e521b962 100644 --- a/src/runtime/c/pgf/reader.h +++ b/src/runtime/c/pgf/reader.h @@ -52,7 +52,7 @@ public: PgfLiteral read_literal(); PgfExpr read_expr(); - void read_expr(ref r) { *r = read_expr(); }; + void read_expr(ref r) { auto res = read_expr(); *r = res; }; void read_hypo(ref hypo); ref read_type();