removed useless printf() (#257)

diff --git a/quickjs.c b/quickjs.c
index 17f9e8ad12358ab45ae69110f2e1d8e824576e18..932663d9cb71c608134076cb0967810a08ec28dc 100644 (file)
--- a/quickjs.c
+++ b/quickjs.c
@@ -5846,7 +5846,6 @@ void __JS_FreeValueRT(JSRuntime *rt, JSValue v)
         }
         break;
     default:
-        printf("__JS_FreeValue: unknown tag=%d\n", tag);
         abort();
     }
 }