From f03779dfed3279f683b92291e25cd923f20fe71b Mon Sep 17 00:00:00 2001 From: krangelov Date: Thu, 23 Dec 2021 18:06:08 +0100 Subject: [PATCH] fix Fun -> Cat --- src/runtime/haskell/PGF2/Transactions.hsc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/haskell/PGF2/Transactions.hsc b/src/runtime/haskell/PGF2/Transactions.hsc index 40043fa59..41a799db3 100644 --- a/src/runtime/haskell/PGF2/Transactions.hsc +++ b/src/runtime/haskell/PGF2/Transactions.hsc @@ -139,7 +139,7 @@ dropFunction name = Transaction $ \c_db _ c_revision c_exn -> withText name $ \c_name -> do pgf_drop_function c_db c_revision c_name c_exn -createCategory :: Fun -> [Hypo] -> Float -> Transaction PGF () +createCategory :: Cat -> [Hypo] -> Float -> Transaction PGF () createCategory name hypos prob = Transaction $ \c_db _ c_revision c_exn -> withText name $ \c_name -> withHypos hypos $ \n_hypos c_hypos ->