From cf0bc127afbc01320e15ddcc789809750909a4f9 Mon Sep 17 00:00:00 2001
From: "kr.angelov" <kr.angelov@gmail.com>
Date: Wed, 26 Jun 2013 09:08:47 +0000
Subject: [PATCH] forgot to add jit.h

---
 src/runtime/c/pgf/jit.h | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 src/runtime/c/pgf/jit.h

diff --git a/src/runtime/c/pgf/jit.h b/src/runtime/c/pgf/jit.h
new file mode 100644
index 000000000..eb9d7005e
--- /dev/null
+++ b/src/runtime/c/pgf/jit.h
@@ -0,0 +1,16 @@
+#ifndef PGF_JIT_H_
+#define PGF_JIT_H_
+
+typedef struct PgfJitState PgfJitState;
+
+PgfJitState*
+pgf_jit_init(GuPool* tmp_pool, GuPool* pool);
+
+void
+pgf_jit_done(PgfJitState* state, PgfAbstr* abstr);
+
+void
+pgf_jit_predicate(PgfJitState* state, 
+                  PgfCIdMap* abscats, PgfAbsCat* abscat);
+
+#endif