From 14c81512c7cce51e7781d527bd82be9ed5f34be3 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 25 Sep 2019 20:54:57 +0200
Subject: synth-stmts: allow slice as case expression.

---
 src/synth/synth-stmts.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index bc9884af1..324c9526a 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -886,7 +886,7 @@ package body Synth.Stmts is
       --    - divide and conquier
 
       --  Create a net for the expression.
-      Sel := Synth_Expression (C.Inst, Expr);
+      Sel := Synth_Expression_With_Basetype (C.Inst, Expr);
 
       --  Count choices and alternatives.
       Count_Choices (Case_Info, Choices);
-- 
cgit v1.2.3