From 6705752e326f0a1876444c3f989ca862cdd2bb97 Mon Sep 17 00:00:00 2001 From: Yan Chen Date: Fri, 8 Sep 2023 16:59:12 -0700 Subject: [PATCH] fix --- tools/ui/src/didjs/didjs.did | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/ui/src/didjs/didjs.did b/tools/ui/src/didjs/didjs.did index 4b2c8cad..092cfa44 100644 --- a/tools/ui/src/didjs/didjs.did +++ b/tools/ui/src/didjs/didjs.did @@ -2,4 +2,5 @@ service : { did_to_js : (text) -> (opt text) query; binding : (text, text) -> (opt text) query; subtype : (new: text, old: text) -> (variant { Ok: null; Err: text }) query; + merge_init_args : (text, text) -> (opt text) query }