diff --git a/h/.distr b/h/.distr
index 61416d3a5..be27788d6 100644
--- a/h/.distr
+++ b/h/.distr
@@ -17,7 +17,6 @@ em_spec.h
 out.h
 pc_err.h
 pc_file.h
-pc_size.h
 ranlib.h
 ocm_chan.h
 ocm_parco.h