From ddd3566d5074b7134e9a05fcb5cab3656f9b84fd Mon Sep 17 00:00:00 2001 From: steve Date: Sun, 3 Feb 2002 05:51:31 +0000 Subject: [PATCH] Add CVS tokens. --- vvp/vpip_to_dec.cc | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/vvp/vpip_to_dec.cc b/vvp/vpip_to_dec.cc index e02946974..386baee0f 100644 --- a/vvp/vpip_to_dec.cc +++ b/vvp/vpip_to_dec.cc @@ -16,8 +16,12 @@ * along with this program; if not, write to the Free Software * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA */ +#if !defined(WINNT) +#ident "$Id: vpip_to_dec.cc,v 1.2 2002/02/03 05:51:31 steve Exp $" +#endif # include "config.h" +# include "vpi_priv.h" # include # include # include /* for CHAR_BIT */