src/core/pretty.ml · cba5e2dffa64bb5518809147fc208fef9dc9f703 · Why3 / why3 · GitLab

Find file Blame History Permalink

Eliminate the Clone declaration which isn't needed, in fact. · cba5e2df
Andrei Paskevich authored Mar 18, 2010
```
Sorry for the previous commit, submitted by accident.
```
cba5e2df