diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-04 11:21:53 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-04 11:21:53 +0200 |
| commit | f91f8296b6d2f663878223d473cd9e887403f73f (patch) | |
| tree | 078931adccb6391856850b618b12696055d7ee6a /backend/Duplicateaux.ml | |
| parent | 98004b386dcc3e57e6a939a33fb7db903910d02d (diff) | |
| download | compcert-kvx-f91f8296b6d2f663878223d473cd9e887403f73f.tar.gz compcert-kvx-f91f8296b6d2f663878223d473cd9e887403f73f.zip | |
transf_initial_states
Diffstat (limited to 'backend/Duplicateaux.ml')
| -rw-r--r-- | backend/Duplicateaux.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/backend/Duplicateaux.ml b/backend/Duplicateaux.ml index 8a57f364..621a2dbe 100644 --- a/backend/Duplicateaux.ml +++ b/backend/Duplicateaux.ml @@ -1,3 +1,4 @@ +open RTL open Maps -let duplicate_aux f = (f, PTree.empty) +let duplicate_aux f = ((fn_code f), PTree.empty) |