diff options
| -rw-r--r-- | extraction/extraction.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/extraction/extraction.v b/extraction/extraction.v index b102503b..18637336 100644 --- a/extraction/extraction.v +++ b/extraction/extraction.v @@ -224,4 +224,5 @@ Separate Extraction Floats.Float32.from_parsed Floats.Float.from_parsed Globalenvs.Senv.invert_symbol Parser.translation_unit_file - Compopts.optim_postpass. + Compopts.optim_postpass + Archi.has_notrap_loads. |