src/core/printer.ml · c340a01221ab2f27a25e6d40ea8c0da7d15c527c · Why3 / why3 · GitLab

Find file Blame History Permalink

register_meta returns the meta name (i.e. its first argument). · c340a012
Andrei Paskevich authored Jul 12, 2010
```
This allows to have one line less in transformations.
```
c340a012