diff options
Diffstat (limited to 'src/extraction/Extraction.v')
| -rw-r--r-- | src/extraction/Extraction.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/extraction/Extraction.v b/src/extraction/Extraction.v index aeefd2a..9b82e1b 100644 --- a/src/extraction/Extraction.v +++ b/src/extraction/Extraction.v @@ -182,7 +182,7 @@ Extract Inlined Constant Binary.B2R => "fun _ -> assert false". Extract Inlined Constant Binary.round_mode => "fun _ -> assert false". Extract Inlined Constant Bracket.inbetween_loc => "fun _ -> assert false". -Extract Constant Pipeline.pipeline => "SoftwarePipelining.pipeline". +Extract Constant Pipeline.pipeline => "pipelining.pipeline". Extract Constant RTLBlockgen.partition => "Partition.partition". Extract Constant RTLPargen.schedule => "Schedule.schedule_fn". |