From ead78b31ff0c5e90a932c5a95215d4c2cafd611a Mon Sep 17 00:00:00 2001
From: icLighthouse <92904844+iclighthouse@users.noreply.github.com>
Date: Sun, 18 Feb 2024 17:17:32 +0800
Subject: [PATCH] Fix ICDexMaker Types - Dev-240218 (#12)

- Fix ICDexMaker Types
---
 src/ICDexMaker.mo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ICDexMaker.mo b/src/ICDexMaker.mo
index 77dc8de..73d634e 100644
--- a/src/ICDexMaker.mo
+++ b/src/ICDexMaker.mo
@@ -145,7 +145,7 @@ module {
         };
         // admin
         config: shared (_config: Config) -> async Bool;
-        transactionLock: shared (_act: {#lock; #unlock}) -> async Bool;
+        transactionLock: shared (_sysTransactionLock: ?{#lock; #unlock}, _sysGlobalLock: ?{#lock; #unlock}) -> async Bool;
         setPause: shared (_pause: Bool) -> async Bool;
         resetLocalBalance: shared () -> async PoolBalance;
         dexWithdraw: shared (_token0: Amount, _token1: Amount) -> async (token0: Amount, token1: Amount);