diff options
Diffstat (limited to 'src/synth/synth-environment.ads')
| -rw-r--r-- | src/synth/synth-environment.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/synth/synth-environment.ads b/src/synth/synth-environment.ads index fff66e01d..71388c610 100644 --- a/src/synth/synth-environment.ads +++ b/src/synth/synth-environment.ads @@ -105,7 +105,8 @@ package Synth.Environment is -- those from T or from F. procedure Merge_Phis (Ctxt : Builders.Context_Acc; Sel : Net; - T, F : Phi_Type); + T, F : Phi_Type; + Stmt : Source.Syn_Src); -- Sort all seq assign of P by wire id. Used to more easily merge them. function Sort_Phi (P : Phi_Type) return Seq_Assign; |