From 8da9b7e3a2e25ff8cd536200d515cf0d9c01906f Mon Sep 17 00:00:00 2001
From: krakjoe <joe.watkins@live.co.uk>
Date: Tue, 18 Feb 2014 09:13:42 +0000
Subject: [PATCH] fix #70

---
 phpdbg_print.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/phpdbg_print.c b/phpdbg_print.c
index 5e3129ad7fb..7e549a27793 100644
--- a/phpdbg_print.c
+++ b/phpdbg_print.c
@@ -87,7 +87,7 @@ static inline void phpdbg_print_function_helper(zend_function *method TSRMLS_DC)
 						phpdbg_error("\tFailed to decode opline %16p", opline);
 					}
 					opline++;
-				} while (++opcode < end);
+				} while (opcode++ < end);
 				zend_hash_destroy(&vars);
 			}
 		} break;