From 2ace3c59560bca2f546bbfbdf1fb9123b8e96729 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Thu, 15 Apr 2010 16:06:44 -0500
Subject: [PATCH] formatting: remove platform-specific example

---
 basis/formatting/formatting-docs.factor | 4 ----
 1 file changed, 4 deletions(-)
 mode change 100644 => 100755 basis/formatting/formatting-docs.factor

diff --git a/basis/formatting/formatting-docs.factor b/basis/formatting/formatting-docs.factor
old mode 100644
new mode 100755
index 9625c40577..100c88c4eb
--- 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"