From 7a69f306599498055a1420b16058572e3cbb0fc7 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Thu, 4 Apr 2019 19:54:25 +0200
Subject: select_sound

---
 backend/Selection.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'backend/Selection.v')

diff --git a/backend/Selection.v b/backend/Selection.v
index b9f5448c..ec4a7b38 100644
--- a/backend/Selection.v
+++ b/backend/Selection.v
@@ -283,7 +283,7 @@ Definition sel_builtin optid ef args :=
            | Some id =>
              match args with
                | a1::a2::a3::nil =>
-                 OK (Sassign id (Eop Oselect
+                 OK (Sassign id (Eop (Oselect (Ccomp0 Ceq))
                                      ((sel_expr a3):::
                                       (sel_expr a2):::
                                       (sel_expr a1):::Enil)))
-- 
cgit