Remove untrue /*NOTREACHED*/: return 0 on EOF from stdin

diff --git a/libraries/libavl/testavl.c b/libraries/libavl/testavl.c
index cb764f16dab7ccf0256a9d0d67edf6207f2bcd5d..8bc12d63777e4ae4025f4acf548a9c88d142e761 100644 (file)
--- a/libraries/libavl/testavl.c
+++ b/libraries/libavl/testavl.c
@@ -77,7 +77,8 @@ main( int argc, char **argv )
 
                printf( "> " );
        }
-       /* NOTREACHED */
+
+       return( 0 );
 }
 
 static void ravl_print( Avlnode *root, int depth )