diff options
| -rw-r--r-- | riscV/OpWeights.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml index e4bf7629..66cf6ce9 100644 --- a/riscV/OpWeights.ml +++ b/riscV/OpWeights.ml @@ -260,7 +260,7 @@ end let get_opweights () : opweights = match !Clflags.option_mtune with - | "rocket" -> + | "rocket" | "" -> { pipelined_resource_bounds = Rocket.resource_bounds; nr_non_pipelined_units = Rocket.nr_non_pipelined_units; |