From 2f2e7b1da225aa3bf066c2fc689a08fab9851a53 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Thu, 8 Apr 2021 20:47:38 +0200
Subject: bugfix

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

(limited to 'riscV/OpWeights.ml')

diff --git a/riscV/OpWeights.ml b/riscV/OpWeights.ml
index 23fbd4fc..0a1d9ad4 100644
--- a/riscV/OpWeights.ml
+++ b/riscV/OpWeights.ml
@@ -63,6 +63,7 @@ module Rocket = struct
             1
         | Ccompf _ | Cnotcompf _ -> 2
         | Ccompfs _ | Cnotcompfs _ -> 2)
+    | OEmayundef _ -> 0
     | _ -> 1
 
   let resources_of_op (op : operation) (nargs : int) = resource_bounds
-- 
cgit