formatting: remove platform-specific example

diff --git a/basis/formatting/formatting-docs.factor b/basis/formatting/formatting-docs.factor
old mode 100644 (file)
new mode 100755 (executable)
index 9625c40..100c88c
--- a/basis/formatting/formatting-docs.factor
+++ b/basis/formatting/formatting-docs.factor
@@ -62,10 +62,6 @@ HELP: printf
         "USING: formatting ;"
         "1.23456789 \"%.3f\" printf"
         "1.235" }
-    { $example 
-        "USING: formatting ;"
-        "1234567890 \"%.5e\" printf"
-        "1.23457e+09" }
     { $example
         "USING: formatting ;"
         "12 \"%'#4d\" printf"