From 0a9236add5e4c4f81dfff79f0ec24fc7d69cf323 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 25 Sep 2012 13:10:52 -0700 Subject: Improvements to the NPN semi-canonical form computation package. --- src/bool/lucky/module.make | 1 + 1 file changed, 1 insertion(+) (limited to 'src/bool/lucky/module.make') diff --git a/src/bool/lucky/module.make b/src/bool/lucky/module.make index dad5ee61..a65f61df 100644 --- a/src/bool/lucky/module.make +++ b/src/bool/lucky/module.make @@ -2,5 +2,6 @@ SRC += src/bool/lucky/lucky.c \ src/bool/lucky/luckyFast16.c \ src/bool/lucky/luckyFast6.c \ src/bool/lucky/luckyRead.c \ + src/bool/lucky/luckySimple.c \ src/bool/lucky/luckySwapIJ.c \ src/bool/lucky/luckySwap.c -- cgit v1.2.3