From a53d367401dabe395972413088aeb23fae733f31 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 10 Sep 2021 23:28:55 +0200
Subject: rocket is default choice

---
 riscV/OpWeights.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
cgit