From 608857ba41ac708c32697623a1b212ef00726942 Mon Sep 17 00:00:00 2001 From: Brian Warner Date: Tue, 4 Apr 2023 17:12:09 -0700 Subject: [PATCH] add comment about vestigal-yet-retained dispatch.changeVatOptions --- packages/swingset-liveslots/src/liveslots.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/packages/swingset-liveslots/src/liveslots.js b/packages/swingset-liveslots/src/liveslots.js index abda735278c9..fbc21f637f47 100644 --- a/packages/swingset-liveslots/src/liveslots.js +++ b/packages/swingset-liveslots/src/liveslots.js @@ -1351,6 +1351,9 @@ function build( }); function setVatOption(option, _value) { + // note: we removed the only settable option in #7138, but we'll + // retain dispatch.changeVatOptions to make it easier to add a new + // one in the future switch (option) { default: console.warn(`WARNING setVatOption unknown option ${option}`);