From bd2f46583c058e427bbacd6dbcfc1a0ccdf25718 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Thu, 17 Sep 2009 14:32:20 +0000
Subject: remove the transfer modules. We don't need anything special, a
 transfer module is module without concrete syntax

---
 src/GF/Compile/CheckGrammar.hs | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/GF/Compile/CheckGrammar.hs')

diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs
index d5f464a0c..6e6e27c74 100644
--- a/src/GF/Compile/CheckGrammar.hs
+++ b/src/GF/Compile/CheckGrammar.hs
@@ -62,8 +62,6 @@ checkModule ms (name,mo) = checkIn (text "checking module" <+> ppIdent name) $ d
     js' <- case mtype mo of
       MTAbstract -> checkMap (checkAbsInfo gr name mo) js
 
-      MTTransfer a b -> checkMap (checkAbsInfo gr name mo) js
-
       MTResource -> checkMap (checkResInfo gr name mo) js
 
       MTConcrete a -> do
-- 
cgit v1.2.3