From b7aea86a0c6ace274e585fddfd0d88d13528cc90 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Sat, 12 Feb 2022 16:20:38 +0100
Subject: fix bad changes

---
 kvx/PostpassSchedulingOracle.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'kvx')

diff --git a/kvx/PostpassSchedulingOracle.ml b/kvx/PostpassSchedulingOracle.ml
index e752624c..47849dd5 100644
--- a/kvx/PostpassSchedulingOracle.ml
+++ b/kvx/PostpassSchedulingOracle.ml
@@ -87,10 +87,10 @@ let arith_rr_real = function
   | Pfloatuwrnsz ->     Floatuwz
   | Pfloatudrnsz ->     Floatudz
   | Pfloatdrnsz ->      Floatdz
-  | Pfixedwrzz | Pfixedwrne ->       Fixedw
-  | Pfixeduwrzz | Pfixeduwrne ->      Fixeduw
-  | Pfixeddrzz | Pfixeddrne -> Fixedd
-  | Pfixedudrzz| Pfixedudrne -> Fixedud
+  | Pfixedwrzz  ->       Fixedw
+  | Pfixeduwrzz ->      Fixeduw
+  | Pfixeddrzz -> Fixedd
+  | Pfixedudrzz -> Fixedud
   | Pfixeddrzz_i32 ->   Fixedd
   | Pfixedudrzz_i32 ->  Fixedud
 
-- 
cgit