From b98a9f7e611bd671e06d45c3b40e0eaf996ce677 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Fri, 10 Sep 2021 21:57:53 +0200
Subject: option compatible avec gcc

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

(limited to 'riscV')

diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml
index 2ec663cf..e4bf7629 100644
--- a/riscV/OpWeights.ml
+++ b/riscV/OpWeights.ml
@@ -290,7 +290,7 @@ let get_opweights () : opweights =
         resources_of_call = SweRV_EH1.resources_of_call;
         resources_of_builtin = SweRV_EH1.resources_of_builtin;
       }
-  | "FU74" | "" ->
+  | "FU74" | "sifive-u74" ->
       {
         pipelined_resource_bounds = FU74.resource_bounds;
         nr_non_pipelined_units = FU74.nr_non_pipelined_units;
-- 
cgit