diff --git a/abclib.dsp b/abclib.dsp index 06802171f..ab75ef15b 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -5370,14 +5370,6 @@ SOURCE=.\src\aig\miniaig\minilut.h SOURCE=.\src\aig\miniaig\ndr.h # End Source File # End Group -# Begin Group "uap" - -# PROP Default_Filter "" -# Begin Source File - -SOURCE=.\src\aig\uap\uap.h -# End Source File -# End Group # End Group # Begin Group "bool"