diff --git a/src/.gitignore b/src/.gitignore
index 7353e06501e..950ce883e76 100644
--- a/src/.gitignore
+++ b/src/.gitignore
@@ -21,4 +21,3 @@ stamp-oldxmenu
 temacs
 buildobj.lst
 stamp_BLD
-witness-emacs