1 files changed, 14 insertions, 0 deletions
diff --git a/src/synth/netlists-folds.adb b/src/synth/netlists-folds.adb
index e591c35cf..a46aef583 100644
--- a/src/synth/netlists-folds.adb
+++ b/src/synth/netlists-folds.adb
@@ -270,4 +270,18 @@ package body Netlists.Folds is
          return Build_Extract (Ctxt, I, Off, W);
       end if;
    end Build2_Extract;
+
+   function Build2_Imp (Ctxt : Context_Acc;
+                        A, B : Net;
+                        Loc : Location_Type := No_Location)
+                       return Net
+   is
+      N : Net;
+   begin
+      N := Build_Monadic (Ctxt, Id_Not, A);
+      Set_Location (N, Loc);
+      N := Build_Dyadic (Ctxt, Id_Or, N, B);
+      Set_Location (N, Loc);
+      return N;
+   end Build2_Imp;
 end Netlists.Folds;