From cd01f95762d427b79f3c2984ee41846cdff06936 Mon Sep 17 00:00:00 2001
From: Miguel de Benito <nonick@8027.org>
Date: Thu, 2 Jan 2014 19:29:37 +0000
Subject: [PATCH] Doc: now really fixed

---
 devel/scheme/gui/scheme-gui-lists-trees.en.tm | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/devel/scheme/gui/scheme-gui-lists-trees.en.tm b/devel/scheme/gui/scheme-gui-lists-trees.en.tm
index 60f3d8e..33556e1 100644
--- a/devel/scheme/gui/scheme-gui-lists-trees.en.tm
+++ b/devel/scheme/gui/scheme-gui-lists-trees.en.tm
@@ -319,7 +319,7 @@
 
       \ \ \ \ \ \ ===
 
-      \ \ \ \ \ \ (tree-view (noop) (buffer-tree) (stree-\<gtr\>tree
+      \ \ \ \ \ \ (tree-view noop (buffer-tree) (stree-\<gtr\>tree
       '(dummy))))))
     </input>
 
@@ -343,8 +343,7 @@
 
       \ \ \ \ ---
 
-      \ \ \ \ (tree-view (noop) (buffer-tree) (stree-\<gtr\>tree
-      '(unused)))))
+      \ \ \ \ (tree-view noop (buffer-tree) (stree-\<gtr\>tree '(unused)))))
     </input>
   </session>