From 914b3e980f3cbd27398b4e03787817c9cdc54f13 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 18 Mar 2024 19:50:00 +0900 Subject: [PATCH] FIxing Windows makefile. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/abclib.dsp b/abclib.dsp index 3255424db..5a45dafa4 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -4903,6 +4903,10 @@ SOURCE=.\src\aig\gia\giaBidec.c # End Source File # Begin Source File +SOURCE=.\src\aig\gia\giaBound.c +# End Source File +# Begin Source File + SOURCE=.\src\aig\gia\giaCCof.c # End Source File # Begin Source File