Enabled user test

diff --git a/tests/test.c b/tests/test.c
index e7391dfeef902fff9088eaca2cc5dd1736e19f5a..25e9ac84a2ea008598d0a8e9f227953b366344a9 100644 (file)
--- a/tests/test.c
+++ b/tests/test.c
@@ -838,7 +838,7 @@ int main(int argc, char *argv[])
   test_st user_tests[] ={
     {"user_supplied_bug1", 0, user_supplied_bug1 },
     {"user_supplied_bug2", 0, user_supplied_bug2 },
-  //  {"user_supplied_bug3", 0, user_supplied_bug3 },
+    {"user_supplied_bug3", 0, user_supplied_bug3 },
     {0, 0, 0}
   };