From e312a108822e3e0b40385c3615c3c4a4ef2766df Mon Sep 17 00:00:00 2001
From: krangelov <kr.angelov@gmail.com>
Date: Wed, 8 Dec 2021 19:34:28 +0100
Subject: [PATCH] fix a potential crash

---
 src/runtime/c/pgf/reader.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<PgfExpr> r) { *r = read_expr(); };
+    void read_expr(ref<PgfExpr> r) { auto res = read_expr(); *r = res; };
 
     void read_hypo(ref<PgfHypo> hypo);
     ref<PgfDTyp> read_type();