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 /Makefile | |
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 'Makefile')
0 files changed, 0 insertions, 0 deletions