src/main/scala/leon/xlang/XLangDesugaringPhase.scala · 61b0e4fe9d860b5d2970542cab327a9becea8fa6 · LARA / inox · GitLab

Snippets Groups Projects

9 years ago
b3559b98
Mutable field in an object? I don't think so. · b3559b98
Etienne Kneuss authored 9 years ago
```
This is a dirty quick fix for now until we rewrite the FunctionClosure
phase.
```
b3559b98

History
Mutable field in an object? I don't think so.
Etienne Kneuss authored 9 years ago
```
This is a dirty quick fix for now until we rewrite the FunctionClosure
phase.
```

XLangDesugaringPhase.scala 534 B