diff options
Diffstat (limited to 'src/runtime/haskell/PGF.hs')
| -rw-r--r-- | src/runtime/haskell/PGF.hs | 1 |
1 files changed, 1 insertions, 0 deletions
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 |