diff src/SourceGraph.ts @ 130:73a70d00fb74

dep upgrades; working on build+release setup
author drewp@bigasterisk.com
date Sat, 06 May 2023 13:11:19 -0700
parents 5a1a79f54779
children a8939c717015
line wrap: on
line diff
--- a/src/SourceGraph.ts	Fri May 05 21:27:24 2023 -0700
+++ b/src/SourceGraph.ts	Sat May 06 13:11:19 2023 -0700
@@ -40,7 +40,7 @@
       // maybe the event messages should be 'add' and 'del',
       // for less parsing and clearer order of ops.
       ev.addEventListener("patch", async (ev) => {
-        const patchMsg = JSON.parse(ev.data);
+        const patchMsg = JSON.parse((ev as any).data);
 
         const p = new Patch();