From 08c9a2ab8cf7b77a5c0392f5f8e9643e39c89c5b Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 9 Dec 2003 16:39:24 +0000
Subject: Introduced output of stripped format gfcm.

---
 src/GF/Shell/PShell.hs | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/GF/Shell/PShell.hs b/src/GF/Shell/PShell.hs
index f28218f27..666b5b681 100644
--- a/src/GF/Shell/PShell.hs
+++ b/src/GF/Shell/PShell.hs
@@ -51,6 +51,7 @@ pCommand ws = case ws of
   "i"  : f : [] -> aUnit   (CImport f)
   "rl" : l : [] -> aUnit   (CRemoveLanguage (language l))
   "e"  : []     -> aUnit   CEmptyState
+  "s"  : []     -> aUnit   CStripState
   "tg" : f : [] -> aUnit   (CTransformGrammar f)
   "cl" : f : [] -> aUnit   (CConvertLatex f)
 
-- 
cgit v1.2.3