Most of the constraint resolving works.

[splint.git] / src / Headers / usymtab.h

diff --git a/src/Headers/usymtab.h b/src/Headers/usymtab.h
index c250c75b87a55ad680bf842299529487917763b8..b0b258fc7c7c9ac6a5636b0f34af915a9a736d7f 100644 (file)
--- a/src/Headers/usymtab.h
+++ b/src/Headers/usymtab.h
@@ -404,7 +404,6 @@ extern void usymtab_checkDistinctName (uentry p_e, int p_scope)
 
 
   /*DRL add 9/4/00 */
-extern 
 extern void usymtab_testInRange (sRef p_s, int p_index)  /*@modifies internalState;@*/;
 extern void usymtab_postopVar (sRef p_sr) /*@modifies internalState;@*/ ;