From 33cd4dea6740f8ac24ef12be790e34de82fc9a53 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Sep 2012 11:21:45 -0700 Subject: Forgot to add one file into Windows project. --- abclib.dsp | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/abclib.dsp b/abclib.dsp index 1938c581..1b55591a 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -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 -- cgit v1.2.3