Dynamic version, working.

[virt-mem.git] / MANIFEST

diff --git a/MANIFEST b/MANIFEST
index 382d878..469d488 100644 (file)
--- a/MANIFEST
+++ b/MANIFEST
@@ -8,11 +8,10 @@ extract/codegen/.depend
 extract/codegen/code_generation.ml
 extract/codegen/code_generation.mli
 extract/codegen/compile_kerneldb.ml
-extract/codegen/kerneldb_to_parser.ml
+extract/codegen/minimizer.ml
+extract/codegen/minimizer.mli
 extract/codegen/pahole_parser.ml
 extract/codegen/pahole_parser.mli
-extract/codegen/struct_classify.ml
-extract/codegen/struct_classify.mli
 extract/codegen/Makefile.in
 extract/fedora-koji/.depend
 extract/fedora-koji/fedora_koji_download_kernels.ml