1 files changed, 0 insertions, 6 deletions
diff --git a/src/libstate/info.txt b/src/libstate/info.txt
index cb584f4d8..f50b7f3dc 100644
--- a/src/libstate/info.txt
+++ b/src/libstate/info.txt
@@ -11,17 +11,11 @@ lookup.h
 scan_name.h
 </header:public>
 
-<header:internal>
-pk_engine.h
-</header:internal>
-
 <source>
 get_enc.cpp
 init.cpp
 libstate.cpp
-look_pk.cpp
 lookup.cpp
-pk_engine.cpp
 policy.cpp
 scan_name.cpp
 </source>