From b351c9d9ddfddc6d419649b55f516d51cffbe0c6 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Sat, 31 Jul 2010 12:47:10 +0000
Subject: added function unType in PGF

---
 src/runtime/haskell/PGF.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/runtime/haskell/PGF.hs')

diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs
index 3b8eced42..c387521a7 100644
--- a/src/runtime/haskell/PGF.hs
+++ b/src/runtime/haskell/PGF.hs
@@ -30,6 +30,7 @@ module PGF(
            Type, Hypo,
            showType, readType,
            mkType, mkHypo, mkDepHypo, mkImplHypo,
+           unType,
            categories, startCat,
 
            -- * Functions
-- 
cgit v1.2.3