diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 09:54:19 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-16 09:54:19 -0700 |
| commit | 5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c (patch) | |
| tree | 09fb7edbdbb0442bdeb2555503f0eba8963a4a16 /abclib.dsp | |
| parent | 5a4f1fe44c94ee48e707246898db1ac2d66231e9 (diff) | |
| download | abc-5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c.tar.gz abc-5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c.tar.bz2 abc-5953beb2da3e9ee4bcc2fc03487cb8c8ef36877c.zip | |
Restructured the code to post-process object used during refinement in &gla.
Diffstat (limited to 'abclib.dsp')
| -rw-r--r-- | abclib.dsp | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -4367,14 +4367,6 @@ SOURCE=.\src\proof\abs\absRef.h # End Source File # Begin Source File -SOURCE=.\src\proof\abs\absRef2.c -# End Source File -# Begin Source File - -SOURCE=.\src\proof\abs\absRef2.h -# End Source File -# Begin Source File - SOURCE=.\src\proof\abs\absUtil.c # End Source File # Begin Source File |