X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foutput.c;h=c9545761761efc15a5dc705212915e4066946491;hb=92f198d13c9214c0d75b936f0ea0dc2684ea914b;hp=a8ed0eab18a9517f1a824325505cb44f20da8ce4;hpb=b74d09af5e07f954c18e7cdb8aca3af47fa10208;p=pspp

diff --git a/src/output/output.c b/src/output/output.c
index a8ed0eab18..c954576176 100644
--- a/src/output/output.c
+++ b/src/output/output.c
@@ -1087,10 +1087,6 @@ exit:
 struct outp_driver *
 outp_drivers (struct outp_driver *d)
 {
-#if DEBUGGING
-  struct outp_driver *orig_d = d;
-#endif
-
   for (;;)
     {
       if (d == NULL)