1 files changed, 2 insertions, 3 deletions

diff --git a/include/Makefile.am b/include/Makefile.am
index 37fb961..9f5982c 100644
--- a/include/Makefile.am
+++ b/include/Makefile.am
@@ -18,6 +18,5 @@ nobase_include_HEADERS = \
         opkele/tr1-mem.h \
-        opkele/basic_rp.h \
-        opkele/prequeue_rp.h \
+        opkele/basic_rp.h opkele/prequeue_rp.h \
         opkele/iterator.h \
-        opkele/basic_op.h \
+        opkele/basic_op.h opkele/verify_op.h \
         ${NODIST_HEADERS_}