1 files changed, 3 insertions, 6 deletions
diff --git a/run.c b/run.c
index 2f8d8fa971..1e1001d4ad 100644
--- a/run.c
+++ b/run.c
@@ -19,10 +19,8 @@
 dEXT char **watchaddr = 0;
 dEXT char *watchok;
 
-#ifndef DEBUGGING
-
 int
-runops() {
+runops_standard() {
     dTHR;
     SAVEI32(runlevel);
     runlevel++;
@@ -33,12 +31,11 @@ runops() {
     return 0;
 }
 
-#else
-
+#ifdef DEBUGGING
 static void debprof _((OP*o));
 
 int
-runops() {
+runops_debug() {
     dTHR;
     if (!op) {
 	warn("NULL OP IN RUN");