Revision 71999483
Added by Pierre-Loïc Garoche about 4 years ago
| src/backends/C/c_backend_common.ml | ||
|---|---|---|
| 369 | 369 |
else |
| 370 | 370 |
() |
| 371 | 371 |
|
| 372 |
let print_machine_struct fmt m = |
|
| 372 |
let print_machine_struct machines fmt m =
|
|
| 373 | 373 |
if fst (get_stateless_status m) then |
| 374 | 374 |
begin |
| 375 | 375 |
end |
Also available in: Unified diff
Cleaning C backend - removing unused functiions
Preparing for coming ACSL