summaryrefslogtreecommitdiff
path: root/language
diff options
context:
space:
mode:
authorAlasdair Armstrong2019-06-26 16:03:38 +0100
committerAlasdair Armstrong2019-06-26 16:03:38 +0100
commitdd26b5e46d54d607023463794bffbecfcafd7b3e (patch)
treee6e26c0f378ec4bb5e187832d56991ad1b4ff733 /language
parentdc71f06982210e6d691173488a8b8390d219195d (diff)
Fix: Make sure to consider NC_app when checking constraints are identical
Diffstat (limited to 'language')
0 files changed, 0 insertions, 0 deletions