diff -r 1f781d1f9b79 -r bfbc57a51fbb lemon/Makefile.am
--- a/lemon/Makefile.am	Thu Jan 03 14:58:42 2008 +0100
+++ b/lemon/Makefile.am	Wed Feb 06 10:52:58 2008 +0000
@@ -15,13 +15,16 @@
 lemon_libemon_la_LDFLAGS = $(GLPK_LIBS) $(CPLEX_LIBS) $(SOPLEX_LIBS)
 
 lemon_HEADERS += \
+        lemon/concept_check.h \
         lemon/dim2.h \
         lemon/random.h \
 	lemon/list_graph.h \
+        lemon/maps.h \
         lemon/tolerance.h
 
 bits_HEADERS += \
         lemon/bits/invalid.h \
         lemon/bits/utility.h
 
-concept_HEADERS +=
+concept_HEADERS += \
+        lemon/concepts/maps.h