arrdem/source
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fmt.

Browse source
This commit is contained in:
Reid 'arrdem' McKenzie 2021-08-29 22:35:10 -06:00
commit 3a1ffe6d6a
21 changed files with 74 additions and 97 deletions
projects/datalog-shell/src/python/datalog/shell
__main__.py

3
projects/datalog-shell/src/python/datalog/shell/__main__.py
View file

@ -59,7 +59,6 @@ from datalog.evaluator import select
from datalog.reader import pr_str, read_command, read_dataset
from datalog.types import (
CachedDataset,
Constant,
Dataset,
LVar,
PartlyIndexedDataset,
@ -67,7 +66,7 @@ from datalog.types import (
TableIndexedDataset
)
from prompt_toolkit import print_formatted_text, prompt, PromptSession
from prompt_toolkit import print_formatted_text, PromptSession
from prompt_toolkit.formatted_text import FormattedText
from prompt_toolkit.history import FileHistory
from prompt_toolkit.styles import Style