From 75e60ab2ee65993595e3d56ae73bad23332b879c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 14 Apr 2011 09:57:35 -0700 Subject: Experiments with reachability. --- abclib.dsp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'abclib.dsp') diff --git a/abclib.dsp b/abclib.dsp index c027d0d8..bdbb4c58 100644 --- a/abclib.dsp +++ b/abclib.dsp @@ -4163,11 +4163,11 @@ SOURCE=.\src\aig\llb\llb3Nonlin.c # End Source File # Begin Source File -SOURCE=.\src\aig\llb\llb4Image.c +SOURCE=.\src\aig\llb\llb4Cluster.c # End Source File # Begin Source File -SOURCE=.\src\aig\llb\llb4Map.c +SOURCE=.\src\aig\llb\llb4Image.c # End Source File # Begin Source File -- cgit v1.2.3