From 23569a795598f18cad851f1bda39dd1a2e630ded Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@lilo.org>
Date: Wed, 28 Jul 2021 10:33:18 +0200
Subject: CI test activate non-trap on kvx-cos

---
 cparser/Machine.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'cparser')

diff --git a/cparser/Machine.ml b/cparser/Machine.ml
index cc50be1e..4ce63970 100644
--- a/cparser/Machine.ml
+++ b/cparser/Machine.ml
@@ -280,7 +280,7 @@ let kvxbase =
 }
 
 let kvxcos =
-  { kvxbase with has_non_trapping_loads = false;
+  { kvxbase with has_non_trapping_loads = true;
 }
 
 let kvxmbr =
-- 
cgit