Repair typo

This commit is contained in:
Tony Garnock-Jones 2021-12-11 16:49:24 +01:00
parent 3edb680c19
commit c9272ddcc9
1 changed files with 1 additions and 1 deletions

View File

@ -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,
};