diff options
| author | kr.angelov <kr.angelov@gmail.com> | 2012-01-20 13:41:10 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@gmail.com> | 2012-01-20 13:41:10 +0000 |
| commit | 2eee382a62a909d5a3f2f5eda94f30fe68fd5335 (patch) | |
| tree | b0b0d513535895f244214aebf6358e172b8dce6d /src/runtime/c/pgf.h | |
| parent | b9728357126f8b9a6311cca17d9f0dcc2a7bfb9b (diff) | |
initial import of the C runtime
Diffstat (limited to 'src/runtime/c/pgf.h')
| -rw-r--r-- | src/runtime/c/pgf.h | 14 |
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 |