From 7c0bad50921365746ea362710015853a4879c0a7 Mon Sep 17 00:00:00 2001 From: "kr.angelov" Date: Thu, 5 Sep 2013 11:20:39 +0000 Subject: remove the read and write modules from libgu. this simplifies the i/o layer --- src/runtime/c/pgf/expr.h | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/runtime/c/pgf/expr.h') diff --git a/src/runtime/c/pgf/expr.h b/src/runtime/c/pgf/expr.h index bcfaee52c..485464207 100644 --- a/src/runtime/c/pgf/expr.h +++ b/src/runtime/c/pgf/expr.h @@ -1,8 +1,8 @@ #ifndef EXPR_H_ #define EXPR_H_ -#include -#include +#include +#include #include #include @@ -180,18 +180,18 @@ struct PgfPrintContext { }; void -pgf_print_literal(PgfLiteral lit, GuWriter* wtr, GuExn* err); +pgf_print_literal(PgfLiteral lit, GuOut* out, GuExn* err); void pgf_print_expr(PgfExpr expr, PgfPrintContext* ctxt, int prec, - GuWriter* wtr, GuExn* err); + GuOut* out, GuExn* err); PgfPrintContext* pgf_print_hypo(PgfHypo *hypo, PgfPrintContext* ctxt, int prec, - GuWriter *wtr, GuExn *err); + GuOut* out, GuExn *err); void pgf_print_type(PgfType *type, PgfPrintContext* ctxt, int prec, - GuWriter *wtr, GuExn *err); + GuOut* out, GuExn *err); #endif /* EXPR_H_ */ -- cgit v1.2.3