Structure warns without location
Issue #873
new
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=95a83e746e52212d2894 This warning should contain a location
http://dtai.cs.kuleuven.be/krr/idp-ide/?src=95a83e746e52212d2894 This warning should contain a location