diff options
| author | Trygve Laugstøl <trygvis@inamo.no> | 2019-06-12 21:53:26 +0200 |
|---|---|---|
| committer | Trygve Laugstøl <trygvis@inamo.no> | 2019-06-12 21:53:26 +0200 |
| commit | b2e87255d3d51956dc5da440e535ce2cee5c6f5b (patch) | |
| tree | 903d5497c09e706a4c30e7b67c3624dbf0137cd2 /.gitignore | |
| parent | aa6697f9d669c821896c26bc8597ed68c79619c5 (diff) | |
| download | ee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.tar.gz ee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.tar.bz2 ee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.tar.xz ee-python-b2e87255d3d51956dc5da440e535ce2cee5c6f5b.zip | |
souffle: Using the same relation for inputs and outputs was not a good
idea, change to use fact() for inputs and add_fact() for outputs. Leaves
room for implementing remove_fact() later too.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions