From 5a7d6e542d7fc0c01bec9163e4be732ac1c6d217 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 14 Nov 2003 12:36:23 +0000
Subject: New unicodings.

New unicodings.
Module with works.

Better compilation of old GF.
---
 src/GF/Shell.hs | 3 ---
 1 file changed, 3 deletions(-)

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

diff --git a/src/GF/Shell.hs b/src/GF/Shell.hs
index 0444a0a33..2fd686601 100644
--- a/src/GF/Shell.hs
+++ b/src/GF/Shell.hs
@@ -139,9 +139,6 @@ execLine put (c@(co, os), arg, cs) (outps,st) = do
 execC :: CommandOpt -> ShellIO
 execC co@(comm, opts0) sa@((st,(h,_)),a) = case comm of
 
-  --- read old GF and write into files; no update of st yet
-  CImport file | oElem showOld opts -> useIOE sa $ batchCompileOld file >> return sa
-
   CImport file -> useIOE sa $ do
     st1 <- shellStateFromFiles opts st file
     ioeIO $ changeState (const st1) sa --- \ ((_,h),a) -> ((st,h), a))
-- 
cgit v1.2.3