diff options
author | 2019-04-16 10:28:25 +0200 | |
---|---|---|
committer | 2019-04-16 10:28:25 +0200 | |
commit | a143c9f7a5b9da04dc0617705119841c24e3fc41 (patch) | |
tree | a433c70ca8680e4cb332a3f0aefb3ffe791a27e0 /Framework/hu.bme.mit.inf.dslreasoner.logic.model/patterns | |
parent | ParseUtil hijacked original vql parser and caused errors - fix by kris7t (diff) | |
download | VIATRA-Generator-a143c9f7a5b9da04dc0617705119841c24e3fc41.tar.gz VIATRA-Generator-a143c9f7a5b9da04dc0617705119841c24e3fc41.tar.zst VIATRA-Generator-a143c9f7a5b9da04dc0617705119841c24e3fc41.zip |
Fixed misformalization of (may/must)(X!=Y) for abstract objects
Diffstat (limited to 'Framework/hu.bme.mit.inf.dslreasoner.logic.model/patterns')
0 files changed, 0 insertions, 0 deletions