From 71fed1eb48fd253b4222a142c422651683167601 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Mon, 19 Nov 2018 16:56:10 +0000
Subject: [PATCH] Print Facets/Actors with toString instead of JSON

---
 packages/core/src/dataspace.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/core/src/dataspace.js b/packages/core/src/dataspace.js
index 0faa7b6..493c2f8 100644
--- a/packages/core/src/dataspace.js
+++ b/packages/core/src/dataspace.js
@@ -359,7 +359,7 @@ Actor.prototype.adhocAssert = function (a) {
 
 Actor.prototype.toString = function () {
   let s = 'Actor(' + this.id;
-  if (this.name !== void 0) s = s + ',' + JSON.stringify(this.name);
+  if (this.name !== void 0) s = s + ',' + this.name.toString();
   return s + ')';
 };
 
@@ -568,7 +568,7 @@ Facet.prototype.enqueueScriptAction = function (action) {
 
 Facet.prototype.toString = function () {
   let s = 'Facet(' + this.actor.id;
-  if (this.actor.name !== void 0) s = s + ',' + JSON.stringify(this.actor.name);
+  if (this.actor.name !== void 0) s = s + ',' + this.actor.name.toString();
   s = s + ',' + this.id;
   let f = this.parent;
   while (f != null) {