From 281f7b1413e570b3a2f7fa9509c74f22030b3936 Mon Sep 17 00:00:00 2001
From: Michael FIG <mfig@agoric.com>
Date: Fri, 17 Jul 2020 16:42:43 -0600
Subject: [PATCH] fix(zoe): don't @typedef areRightsConserved

This was unnecessary, and tickled a bug in Typescript's tsc that
crashed the compiler.
---
 packages/zoe/src/zoe.js | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

diff --git a/packages/zoe/src/zoe.js b/packages/zoe/src/zoe.js
index 11ecea32375..93409b5177d 100644
--- a/packages/zoe/src/zoe.js
+++ b/packages/zoe/src/zoe.js
@@ -26,14 +26,12 @@ import { makeTables } from './state';
  */
 
 /**
- * @typedef {import('@agoric/ertp/src/issuer').Amount} Amount
- * @typedef {import('@agoric/ertp/src/issuer').Brand} Brand
- * @typedef {import('@agoric/ertp/src/amountMath').AmountMath} AmountMath
- * @typedef {import('@agoric/ertp/src/issuer').Payment} Payment
- * @typedef {import('@agoric/ertp/src/issuer').Issuer} Issuer
- * @typedef {import('@agoric/ertp/src/issuer').Purse} Purse
- *
- * @typedef {import('./rightsConservation').areRightsConserved} areRightsConserved
+ * @typedef {import('@agoric/ertp').Amount} Amount
+ * @typedef {import('@agoric/ertp').Brand} Brand
+ * @typedef {import('@agoric/ertp').AmountMath} AmountMath
+ * @typedef {import('@agoric/ertp').Payment} Payment
+ * @typedef {import('@agoric/ertp').Issuer} Issuer
+ * @typedef {import('@agoric/ertp').Purse} Purse
  *
  * @typedef {any} TODO Needs to be typed
  * @typedef {string} Keyword