Skip to content

Commit

Permalink
trans-chap9: minor reformating
Browse files Browse the repository at this point in the history
  • Loading branch information
tgingold committed Apr 18, 2024
1 parent 3a74f3a commit 51f3dd3
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions src/vhdl/translate/trans-chap9.adb
Expand Up @@ -755,10 +755,9 @@ package body Trans.Chap9 is

Start_If_Stmt
(S_Blk,
New_Value
(New_Indexed_Element (Get_Var (Info.Psl_Vect_Var),
New_Lit (New_Index_Lit
(Unsigned_64 (S_Num))))));
New_Value (New_Indexed_Element
(Get_Var (Info.Psl_Vect_Var),
New_Lit (New_Index_Lit (Unsigned_64 (S_Num))))));

-- Get simplified state:
-- - If in transient state -> In progress.
Expand All @@ -778,7 +777,7 @@ package body Trans.Chap9 is
Cond := New_Monadic_Op
(ON_Not,
New_Value (New_Indexed_Element (New_Obj (Var_Nvec),
New_Lit (D_Lit))));
New_Lit (D_Lit))));
Cond := New_Dyadic_Op
(ON_And, Cond, Translate_Psl_Expr (Get_Edge_Expr (E), False));

Expand Down

0 comments on commit 51f3dd3

Please sign in to comment.