fix types

Agoric · Aug 11, 2024 · 5c8afcc · 5c8afcc
1 parent 164ed8b
commit 5c8afcc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/SwingSet/src/types-external.js b/packages/SwingSet/src/types-external.js
@@ -224,7 +224,7 @@ export {};
  * @typedef { [tag: 'create-vat', details: PolicyInputDetails  ]} PolicyInputCreateVat
  * @typedef { [tag: 'crank', details: PolicyInputDetails ] } PolicyInputCrankComplete
  * @typedef { [tag: 'crank-failed', details: PolicyInputDetails ]} PolicyInputCrankFailed
- * @typedef { [tag: 'cleanup', details: { cleanups: number }] } PolicyInputCleanup
+ * @typedef { [tag: 'cleanup', details: { cleanups: number, computrons?: number }] } PolicyInputCleanup
  * @typedef { PolicyInputNone | PolicyInputCreateVat | PolicyInputCrankComplete |
  *            PolicyInputCrankFailed | PolicyInputCleanup } PolicyInput
  * @typedef { boolean } PolicyOutput