From 0cd71ddb15ad5d6dfb63d6555cf59be08f1686fb Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Thu, 20 May 2021 12:47:56 +0200
Subject: [PATCH] Repair attenuate tool

---
 src/tools/attenuate.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/tools/attenuate.ts b/src/tools/attenuate.ts
index 2573109..176e685 100644
--- a/src/tools/attenuate.ts
+++ b/src/tools/attenuate.ts
@@ -8,6 +8,6 @@ const cs0 = new Reader<_embedded>(pat).next();
 if (!Array.isArray(cs0)) throw new Error("Expected array of caveats");
 const cs = cs0.map(c => toCaveat(c) ?? (()=>{ throw new Error("Cannot decode caveat"); })());
 attenuate(baseCap, ... cs).then(derived => {
-    console.log(derived.asPreservesText());
+    console.log(fromSturdyRef(derived).asPreservesText());
     console.log(sturdyEncode(fromSturdyRef(derived)).toHex());
 });