# HG changeset patch
# User drewp@bigasterisk.com
# Date 2023-05-24 19:17:34
# Node ID 94d0e596ca396801c4bee6fc4bdbe21074313ce5
# Parent  d9c14c716b36e455a9b365358e3688c474374244

fix import

diff --git a/light9/web/EditChoice.ts b/light9/web/EditChoice.ts
--- a/light9/web/EditChoice.ts
+++ b/light9/web/EditChoice.ts
@@ -3,6 +3,7 @@ import debug from "debug";
 import { css, html, LitElement } from "lit";
 import { customElement, property } from "lit/decorators.js";
 import { NamedNode } from "n3";
+import { $V, Vector } from "sylvester";
 export { ResourceDisplay } from "../web/ResourceDisplay";
 const log = debug("editchoice");
 const RDFS = "http://www.w3.org/2000/01/rdf-schema#";