FIxing Windows makefile.

This commit is contained in:
Alan Mishchenko 2024-03-18 19:50:00 +09:00
parent 4f0d09261b
commit 914b3e980f
1 changed files with 4 additions and 0 deletions

View File

@ -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