diff options
| author | Brian Campbell | 2018-05-04 18:53:50 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-04 18:53:50 +0100 |
| commit | 066ecac9d79769e1a759f8ed1b13b18548aef36c (patch) | |
| tree | b04f307048ef7bb7424e37798928ce87937ca21b /lib | |
| parent | 714d62a0ea695081ad16d2cfac0997024eb13de9 (diff) | |
Checked that variable names in split_fun rewrites are really variables
Otherwise some clauses disappear
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions