From 150940b8704a6a61ed08c6bbd99ba4b05a42c59c Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Fri, 30 May 2008 13:07:11 +0000
Subject: cleaned up and documented PGF API

---
 src-3.0/PGF/Raw/Convert.hs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src-3.0/PGF/Raw/Convert.hs')

diff --git a/src-3.0/PGF/Raw/Convert.hs b/src-3.0/PGF/Raw/Convert.hs
index 3caa07aec..a8398093b 100644
--- a/src-3.0/PGF/Raw/Convert.hs
+++ b/src-3.0/PGF/Raw/Convert.hs
@@ -181,7 +181,6 @@ fromExp e = case e of
   EMeta _  -> AMet ----
   EEq eqs  -> 
     App "Eq" [App "E" (map fromExp (v:ps)) | Equ ps v <- eqs]
-  _ -> error $ "exp " ++ show e
 
 fromTerm :: Term -> RExp
 fromTerm e = case e of
-- 
cgit v1.2.3