From 0894f55661aa6152b76b2a072633fe5bfa3ed837 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 25 May 2016 09:42:24 +0000
Subject: [PATCH] fix the compilation when debugging is switched off

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

diff --git a/src/runtime/c/pgf/jit.c b/src/runtime/c/pgf/jit.c
index 4fd80dac0..4fe18d181 100644
--- a/src/runtime/c/pgf/jit.c
+++ b/src/runtime/c/pgf/jit.c
@@ -155,7 +155,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr,
 	abscat->predicate = (PgfFunction) jit_get_ip().ptr;
 
 	if (strcmp(abscat->name, "String") == 0) {
+#ifdef PGF_JIT_DEBUG
 		gu_printf(out, err, "    MK_STRING\n");
+#endif
 
 		jit_prepare(2);
 		jit_pusharg_p(JIT_VCLOS);
@@ -172,7 +174,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr,
 	}
 
 	if (strcmp(abscat->name, "Int") == 0) {
+#ifdef PGF_JIT_DEBUG
 		gu_printf(out, err, "    MK_INT\n");
+#endif
 
 		jit_prepare(2);
 		jit_pusharg_p(JIT_VCLOS);
@@ -189,7 +193,9 @@ pgf_jit_predicate(PgfReader* rdr, PgfAbstr* abstr,
 	}
 
 	if (strcmp(abscat->name, "Float") == 0) {
+#ifdef PGF_JIT_DEBUG
 		gu_printf(out, err, "    MK_FLOAT\n");
+#endif
 
 		jit_prepare(2);
 		jit_pusharg_p(JIT_VCLOS);