summaryrefslogtreecommitdiffstats
path: root/src/misc/espresso/cofactor.c
diff options
context:
space:
mode:
Diffstat (limited to 'src/misc/espresso/cofactor.c')
-rw-r--r--src/misc/espresso/cofactor.c5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/misc/espresso/cofactor.c b/src/misc/espresso/cofactor.c
index 1a2c6e8a..fec36afd 100644
--- a/src/misc/espresso/cofactor.c
+++ b/src/misc/espresso/cofactor.c
@@ -9,6 +9,9 @@
*/
#include "espresso.h"
+ABC_NAMESPACE_IMPL_START
+
+
/*
The cofactor of a cover against a cube "c" is a cover formed by the
cofactor of each cube in the cover against c. The cofactor of two
@@ -382,3 +385,5 @@ pcube *T;
*Tdest++ = NULL; /* sentinel */
Tdest[1] = (pcube) Tdest; /* save pointer to last */
}
+ABC_NAMESPACE_IMPL_END
+