diff --git a/packages/core/src/runtime/dataspace.ts b/packages/core/src/runtime/dataspace.ts index 431b082..c88b225 100644 --- a/packages/core/src/runtime/dataspace.ts +++ b/packages/core/src/runtime/dataspace.ts @@ -7,7 +7,7 @@ import { Actor, Assertion, Entity, Facet, Handle, LocalAction, Ref, Turn } from import { fromObserve, Observe, toObserve } from '../gen/dataspace.js'; import * as P from '../gen/dataspacePatterns.js'; -export type DataspaceOptions { +export type DataspaceOptions = { tracer?: (event: '+' | '-' | '!', assertion: Assertion, dataspace: Dataspace) => void, dumpIndex?: boolean, };