diff --git a/vpi/Makefile.in b/vpi/Makefile.in
index 4a1cd0b7b..42ee5d309 100644
--- a/vpi/Makefile.in
+++ b/vpi/Makefile.in
@@ -18,7 +18,7 @@
 #    59 Temple Place - Suite 330
 #    Boston, MA 02111-1307, USA
 #
-#ident "$Id: Makefile.in,v 1.3 1999/08/28 02:10:57 steve Exp $"
+#ident "$Id: Makefile.in,v 1.4 1999/08/31 23:00:08 steve Exp $"
 #
 #
 SHELL = /bin/sh
@@ -61,8 +61,7 @@ clean:
 	rm -f *.o dep/*.d
 
 install: all installdirs $(libdir)/ivl/system.vpi \
-	$(includedir)/vpi_user.h \
-	$(includedir)/veriuser.h
+	$(includedir)/vpi_user.h
 
 $(libdir)/ivl/system.vpi: ./system.vpi
 	$(INSTALL_PROGRAM) ./system.vpi $(libdir)/ivl/system.vpi