X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fexpr-prs.c;h=701347894d31cb749304f3a271b4204ad29f2c6c;hb=74a57f26f1458b28a0fddbb9f46004ac8f4d9c30;hp=fee00a3e93e1525917485f15cf7726c3a0245f8b;hpb=2c9e93d6e9fbdf4eccb2d43050884f2f707ad126;p=pspp

diff --git a/src/expr-prs.c b/src/expr-prs.c
index fee00a3e93..701347894d 100644
--- a/src/expr-prs.c
+++ b/src/expr-prs.c
@@ -120,10 +120,7 @@ expr_parse (int flags)
 
   /* If we're debugging or the user requested it, print the postfix
      representation. */
-#if GLOBAL_DEBUGGING
-#if !DEBUGGING
-  if (flags & PXP_DUMP)
-#endif
+#if DEBUGGING
     debug_print_postfix (e);
 #endif