From aeb7f7ea11ac4ab5046754bbc1a2dacae49c18ca Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 2 Oct 2012 17:27:36 -0700 Subject: Combined old reparametrization command with the new one. --- abclib.dsp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index 8690e70a..bb8e8719 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -3503,10 +3503,6 @@ SOURCE=.\src\aig\gia\giaPat.c # End Source File # Begin Source File -SOURCE=.\src\aig\gia\giaReparam.c -# End Source File -# Begin Source File - SOURCE=.\src\aig\gia\giaRetime.c # End Source File # Begin Source File @@ -4411,6 +4407,10 @@ SOURCE=.\src\proof\abs\absRpm.c # End Source File # Begin Source File +SOURCE=.\src\proof\abs\absRpmOld.c +# End Source File +# Begin Source File + SOURCE=.\src\proof\abs\absUtil.c # End Source File # Begin Source File -- cgit v1.2.3