Remove unneeded imports

This commit is contained in:
Tony Garnock-Jones 2018-11-20 14:11:38 +00:00
parent 9a5c3136f0
commit 8964596453
2 changed files with 2 additions and 2 deletions

View File

@ -16,7 +16,7 @@
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//---------------------------------------------------------------------------
import { Dataspace, inNestedDataspace, Outbound, Inbound } from '@syndicate-lang/core';
import { Dataspace, Outbound, Inbound } from '@syndicate-lang/core';
assertion type Greeting(text);

View File

@ -16,7 +16,7 @@
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//---------------------------------------------------------------------------
import { Dataspace, inNestedDataspace, Outbound, Inbound } from '@syndicate-lang/core';
import { Dataspace, Outbound, Inbound } from '@syndicate-lang/core';
import { $QuitDataspace } from '@syndicate-lang/core';
assertion type Greeting(text);