1 files changed, 0 insertions, 1 deletions

diff --git a/MANIFEST b/MANIFEST
index b2432ca..d710e9b 100644
--- a/MANIFEST
+++ b/MANIFEST
@@ -751,7 +751,6 @@
 ./pablo/ProcIDs.h
 ./pablo/PabloSedscr
 ./pablo/ProcTrace.h
-./pablo/ProcTrace.inc
 ./pablo/READ_ME
 
 ./src/.indent.pro			_DO_NOT_DISTRIBUTE_