diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 11:21:45 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 11:21:45 -0700 |
commit | 33cd4dea6740f8ac24ef12be790e34de82fc9a53 (patch) | |
tree | 955f08e654c1ead19442d6a8aaa7e4ef78a54047 | |
parent | 5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c (diff) | |
download | abc-33cd4dea6740f8ac24ef12be790e34de82fc9a53.tar.gz abc-33cd4dea6740f8ac24ef12be790e34de82fc9a53.tar.bz2 abc-33cd4dea6740f8ac24ef12be790e34de82fc9a53.zip |
Forgot to add one file into Windows project.
-rw-r--r-- | abclib.dsp | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -4367,6 +4367,10 @@ SOURCE=.\src\proof\abs\absRef.h # End Source File # Begin Source File +SOURCE=.\src\proof\abs\absRefSelect.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\abs\absUtil.c # End Source File # Begin Source File |