From 115b4213d515ce308568fd71e362f6ce2881fb50 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 12 Nov 2010 19:37:19 +0000
Subject: operations in the abstract syntax

---
 src/runtime/haskell/PGF/Generate.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/runtime')

diff --git a/src/runtime/haskell/PGF/Generate.hs b/src/runtime/haskell/PGF/Generate.hs
index f33ee10eb..408dcc590 100644
--- a/src/runtime/haskell/PGF/Generate.hs
+++ b/src/runtime/haskell/PGF/Generate.hs
@@ -86,7 +86,6 @@ prove dp scope (TTyp env1 (DTyp hypos1 cat es1)) = do
   vs1 <- mapM (PGF.TypeCheck.eval env1) es1
   let scope' = exScope scope env1 hypos1
   (fe,TTyp env2 (DTyp hypos2 _ es2)) <- select cat scope' dp
-  if fe == EFun (mkCId "plus") then mzero else return ()
   case dp of
     Just 0 | not (null hypos2) -> mzero
     _                          -> return ()
-- 
cgit v1.2.3