diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-13 09:25:45 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-13 09:25:45 -0400 |
| commit | 49a9ce1b2cd568bf5414e47f084198aed202fbff (patch) | |
| tree | 1a92f1efc9678699d653f997936b51dc569230f8 /configure.ac | |
| parent | 03da53257bc793d0435a325cd968dda7506b1b38 (diff) | |
Avoid pointless rebuilding of hypothesis E-graphs
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions