diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2019-03-27 14:38:17 -0700 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2019-03-27 14:38:17 -0700 |
| commit | 91d1189890fbfa04c731cb3dd4211a8d72017f6a (patch) | |
| tree | 52b498de89a37f27c18e266af5f5d15417b5b784 /.gitignore | |
| parent | dfda34254c44f9f8aa16ad556a88ec275ec50a16 (diff) | |
Fix for inequality assumptions and better error reporting for (assume
$foo.$x) style index assumptions.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions