diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-02-16 10:05:16 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-02-16 10:10:34 +0100 |
| commit | 2a88c0cc5707eb0761d87cfd2ca171ce687258fc (patch) | |
| tree | d0fe39e73cb2eda12b8355f7cbc5854e9f5be83d /makefile.patch | |
| parent | 30ff778e52d2cd74ce624348c44651982282f07d (diff) | |
Include direct deps. in Symbol/Choice.__str__()
Direct dependencies are significant for 'imply' even if the symbol has
no properties, so they need to be included to get semantically
equivalent output.
Making the direct dependencies clear is helpful in general too, even if
you can usually infer them from the properties they get propagated to.
Diffstat (limited to 'makefile.patch')
0 files changed, 0 insertions, 0 deletions