:fixes
This commit is contained in:
@@ -51,6 +51,8 @@ class JupyterEngine( Engine ):
|
||||
Engine.__init__(self, args)
|
||||
self.errors = None
|
||||
self.goal(set_prolog_flag('verbose', 'silent'),True)
|
||||
self.goal(compile(library('verify')), True)
|
||||
self.goal(compile(library('complete')), True)
|
||||
self.goal(compile(library('jupyter')), True)
|
||||
self.goal(set_prolog_flag('verbose', 'normal'), True)
|
||||
|
||||
|
Reference in New Issue
Block a user