From 8eef7f8326e715ea4e9e84f46487cf4657601c25 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 20 Feb 2006 08:01:00 -0800
Subject: Version abc60220

---
 src/misc/vec/vecInt.h | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/misc/vec/vecInt.h')

diff --git a/src/misc/vec/vecInt.h b/src/misc/vec/vecInt.h
index 7a96b0d7..06526332 100644
--- a/src/misc/vec/vecInt.h
+++ b/src/misc/vec/vecInt.h
@@ -25,7 +25,6 @@
 ///                          INCLUDES                                ///
 ////////////////////////////////////////////////////////////////////////
 
-#include <stdio.h>
 #include "extra.h"
 
 ////////////////////////////////////////////////////////////////////////
@@ -484,7 +483,7 @@ static inline void Vec_IntPushMem( Extra_MmStep_t * pMemMan, Vec_Int_t * p, int
 
 /**Function*************************************************************
 
-  Synopsis    []
+  Synopsis    [Inserts the entry while preserving the increasing order.]
 
   Description []
                
-- 
cgit v1.2.3