From c7a953bb935f578bcbb389e9d4fbe91822ef3f14 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 8 Jan 2004 14:58:46 +0000
Subject: Some bug fixes mostly in editor commands.

---
 src/GF/API.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/GF/API.hs')

diff --git a/src/GF/API.hs b/src/GF/API.hs
index ab630d7a6..7053a1b67 100644
--- a/src/GF/API.hs
+++ b/src/GF/API.hs
@@ -264,7 +264,7 @@ optPrintSyntax opts = customOrDefault opts grammarPrinter customSyntaxPrinter
 prCanonGrammar :: CanonGrammar -> String
 prCanonGrammar = MC.prCanon
 
-{- ----
+
 optPrintTree :: Options -> GFGrammar -> Tree -> String
 optPrintTree opts = customOrDefault opts grammarPrinter customTermPrinter
 
@@ -274,11 +274,11 @@ optStringCommand opts g =
   optIntOrAll opts flagLength .  
   customOrDefault opts filterString customStringCommand g
 
-optTreeCommand :: Options -> GFGrammar -> Tree -> [Tree]
-optTreeCommand opts st = 
+optTermCommand :: Options -> GFGrammar -> Tree -> [Tree]
+optTermCommand opts st = 
   optIntOrAll opts flagNumber .  
   customOrDefault opts termCommand customTermCommand st
--}
+
 
 {-
 -- wraps term in a function and optionally computes the result
-- 
cgit v1.2.3