From 8190d9fe497df770ac9f294e0b45a5f01c09d62e Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Wed, 1 Mar 2023 09:57:48 +0100
Subject: [PATCH] export BindType(..)

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

diff --git a/src/runtime/haskell/PGF.hs b/src/runtime/haskell/PGF.hs
index a432aa9bb..1138c9634 100644
--- a/src/runtime/haskell/PGF.hs
+++ b/src/runtime/haskell/PGF.hs
@@ -31,7 +31,7 @@ module PGF(
            languages, abstractName, languageCode,
 
            -- * Types
-           Type, Hypo,
+           Type, Hypo, BindType(..),
            showType, readType,
            mkType, mkHypo, mkDepHypo, mkImplHypo,
            unType,