diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-07-23 03:40:16 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-08-01 16:11:55 +0200 |
| commit | cf906af70f5c48cab99bd89047af0b2831850cf1 (patch) | |
| tree | 63e61ffc689a73ccc3d1ed53276234e4740f5df7 /plugins/funind | |
| parent | cabce8ae233040c2365bfd8bd1f478676fcade33 (diff) | |
Printing goals does not evar-normalizes beforehand anymore.
Diffstat (limited to 'plugins/funind')
0 files changed, 0 insertions, 0 deletions