add comment about vestigal-yet-retained dispatch.changeVatOptions

Agoric · Apr 5, 2023 · 608857b · 608857b
1 parent 2867f73
commit 608857b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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}`);