diff options
| author | Pierre-Marie Pédrot | 2017-08-27 17:17:00 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-08-27 17:17:00 +0200 |
| commit | 4c822dbb1c01139e95c165515777703263806ec1 (patch) | |
| tree | 0e031dea0cc8e06d2ced30fb35ee7c47526908a8 /src/tac2expr.mli | |
| parent | c6d28beca01809dbd06b3b36ea53bd4a94824083 (diff) | |
Ensure no confusion with unit in rigid variables.
Diffstat (limited to 'src/tac2expr.mli')
0 files changed, 0 insertions, 0 deletions