1 files changed, 0 insertions, 14 deletions
diff --git a/src/runtime/c/pgf.h b/src/runtime/c/pgf.h
deleted file mode 100644
index ff9e6aba9..000000000
--- a/src/runtime/c/pgf.h
+++ /dev/null
@@ -1,14 +0,0 @@
-#ifndef PGF_H
-#define PGF_H
-
-typedef struct _CId     *CId;
-typedef struct _String  *String;
-typedef struct _Literal *Literal ;
-typedef struct _Type    *Type ;
-typedef struct _Expr    *Expr ;
-typedef struct _PGF     *PGF ;
-
-PGF readPGF(char *filename);
-void freePGF(PGF pgf);
-
-#endif