aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl/sem_expr.adb
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2016-02-07 07:56:40 +0100
committerTristan Gingold <tgingold@free.fr>2016-02-09 20:25:02 +0100
commitd7b89f654b99c6deb7c40c7057b5aa4f8af0bca5 (patch)
tree97fda30a5ceecf46c4b1635dbf625918f9416a75 /src/vhdl/sem_expr.adb
parentfa9fc93606af761b75e783390ed753f0273f24ca (diff)
downloadghdl-d7b89f654b99c6deb7c40c7057b5aa4f8af0bca5.tar.gz
ghdl-d7b89f654b99c6deb7c40c7057b5aa4f8af0bca5.tar.bz2
ghdl-d7b89f654b99c6deb7c40c7057b5aa4f8af0bca5.zip
PSL: handle and/or in boolean assertion.
Diffstat (limited to 'src/vhdl/sem_expr.adb')
-rw-r--r--src/vhdl/sem_expr.adb9
1 files changed, 0 insertions, 9 deletions
diff --git a/src/vhdl/sem_expr.adb b/src/vhdl/sem_expr.adb
index 88150b75d..e41f9322a 100644
--- a/src/vhdl/sem_expr.adb
+++ b/src/vhdl/sem_expr.adb
@@ -4751,15 +4751,6 @@ package body Sem_Expr is
return Res;
end Insert_Condition_Operator;
- function Maybe_Insert_Condition_Operator (Expr : Iir) return Iir is
- begin
- if Get_Base_Type (Get_Type (Expr)) = Boolean_Type_Definition then
- return Expr;
- else
- return Insert_Condition_Operator (Expr);
- end if;
- end Maybe_Insert_Condition_Operator;
-
function Sem_Condition (Cond : Iir) return Iir
is
Res : Iir;