From 28bce1cdc01bff7a2caf1f30152b99827b907576 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Sat, 21 Jan 2012 10:27:55 +0000
Subject: added an API for printing the PGF to human readable format

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

(limited to 'src/runtime/c/pgf/pgf.h')

diff --git a/src/runtime/c/pgf/pgf.h b/src/runtime/c/pgf/pgf.h
index 8ee26aadd..df4904b53 100644
--- a/src/runtime/c/pgf/pgf.h
+++ b/src/runtime/c/pgf/pgf.h
@@ -74,5 +74,7 @@ GU_DECLARE_TYPE(PgfPGF, struct);
 
 /// @}
 
+void
+pgf_print(PgfPGF* pgf, GuWriter* wtr, GuExn* err); 
 
 #endif // PGF_H_
-- 
cgit v1.2.3