diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-20 10:01:50 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-20 10:01:50 -0700 |
commit | e3fff39c37ed68cf718eab84613e3bbb02858653 (patch) | |
tree | 58c83ba887ea13c7c64336fecd9a6b120650de0b /Test/triggers | |
parent | 6e935875b5cfbdee8a7f6573f9f01c48db746d56 (diff) |
Allow users to disable quantifier splitting by with a {:split false} attribute
Diffstat (limited to 'Test/triggers')
0 files changed, 0 insertions, 0 deletions