1 files changed, 3 insertions, 3 deletions
diff --git a/dump.c b/dump.c
index e6786c295..cf34f9eed 100644
--- a/dump.c
+++ b/dump.c
@@ -35,16 +35,16 @@ mpfr_dump (mpfr_srcptr u, mp_rnd_t rnd_mode)
 
   if (MPFR_IS_NAN(u)) 
     {
-      printf ("NaN\n"); 
+      printf ("@NaN@\n"); 
       return; 
     }
 
   if (MPFR_IS_INF(u)) 
     {
       if (MPFR_SIGN(u) == 1)
-        printf ("Inf\n");
+        printf ("@Inf@\n");
       else
-        printf ("-Inf\n"); 
+        printf ("-@Inf@\n"); 
       return; 
     }