chore(agoric): Suppress Far crasher type error

Agoric · Aug 31, 2024 · 538d5cc · 538d5cc
1 parent 13a04f1
commit 538d5cc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/agoric-cli/src/follow.js b/packages/agoric-cli/src/follow.js
@@ -114,6 +114,7 @@ export default async function followerMain(progname, rawArgs, powers, opts) {
   }
 
   if (proof !== 'none') {
+    // @ts-expect-error
     followerOptions.crasher = Far('follower crasher', {
       crash: (...args) => {
         console.error(...args);