From 8ad4a10fae6288a5aa90621d48e8fa49631fd6c7 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 9 Aug 2012 18:07:00 -0700 Subject: Compiler warnings. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e624cfec..fff87023 100644 --- a/Makefile +++ b/Makefile @@ -20,7 +20,7 @@ MODULES := \ src/opt/ret src/opt/res src/opt/lpk src/opt/nwk src/opt/rwt \ src/opt/cgt src/opt/csw src/opt/dar \ src/sat/bsat src/sat/csat src/sat/msat src/sat/psat src/sat/cnf \ - src/bool/bdc src/bool/deco src/bool/dec src/bool/kit \ + src/bool/bdc src/bool/deco src/bool/dec src/bool/kit src/bool/lucky \ src/proof/pdr src/proof/int src/proof/bbr src/proof/llb src/proof/live \ src/proof/cec src/proof/dch src/proof/fraig src/proof/fra src/proof/ssw \ src/aig/aig src/aig/saig src/aig/gia src/aig/ioa src/aig/ivy src/aig/hop \ -- cgit v1.2.3