diff -r 5f7a8570687d -r 9de02aa380de lemon/Makefile.am
--- a/lemon/Makefile.am	Thu Feb 07 11:52:16 2008 +0000
+++ b/lemon/Makefile.am	Thu Feb 07 21:23:23 2008 +0000
@@ -15,6 +15,7 @@
 lemon_libemon_la_LDFLAGS = $(GLPK_LIBS) $(CPLEX_LIBS) $(SOPLEX_LIBS)
 
 lemon_HEADERS += \
+        lemon/concept_check.h \
         lemon/dim2.h \
 	lemon/error.h \
 	lemon/list_graph.h \