changeset 2232:94d0e596ca39

fix import
author drewp@bigasterisk.com
date Wed, 24 May 2023 12:17:34 -0700
parents d9c14c716b36
children a6c5b87890ae
files light9/web/EditChoice.ts
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/light9/web/EditChoice.ts	Wed May 24 12:17:15 2023 -0700
+++ b/light9/web/EditChoice.ts	Wed May 24 12:17:34 2023 -0700
@@ -3,6 +3,7 @@
 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#";