Revision 0d065e73
Added by Pierre-Loïc Garoche about 5 years ago
| src/compiler_common.ml | ||
|---|---|---|
| 239 | 239 |
deps |
| 240 | 240 |
end |
| 241 | 241 |
|
| 242 |
|
|
Also available in: Unified diff
| src/compiler_common.ml | ||
|---|---|---|
| 239 | 239 |
deps |
| 240 | 240 |
end |
| 241 | 241 |
|
| 242 |
|
|
Also available in: Unified diff
Solved a bug in the compilation of asserts. Now different behavior depending on the backend:
functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);