openstack
/
congress-specs
Code Issues Proposed changes

line break at 79 char 

Change-Id: Ie5adace969feac84c4791a2aaadd09421194cbf7
This commit is contained in:
Eric K 2018-08-09 14:50:13 -07:00
parent ffd9d30469
commit 2c423c83c2
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
specs/rocky/alternative-engine-z3.rst
View File

@ -271,7 +271,8 @@ Other contributors:
Work items
----------
For Rocky we do not plan to add built-ins. The basic Datalog language is sufficient for interesting examples.
For Rocky we do not plan to add built-ins. The basic Datalog language is
sufficient for interesting examples.
During Stein iteration, built-ins and the treatment of polymorphism
in the type-checker will be added.