Delete trivial instances of /*NOTREACHED*/

[empserver] / src / server / marketup.c

diff --git a/src/server/marketup.c b/src/server/marketup.c
index 161b5c0f4e5a3435b7000922a26395a2cfd70054..2b135a44cce917e2a5de3c1c337fd6704aa29b20 100644 (file)
--- a/src/server/marketup.c
+++ b/src/server/marketup.c
@@ -56,7 +56,6 @@ market_update(void *unused)
        now += 300;             /* Every 5 minutes */
        empth_sleep(now);
     }
-    /*NOTREACHED*/
 }
 
 void