Remade libraries.

[splint.git] / lib / ansi.h

diff --git a/lib/ansi.h b/lib/ansi.h
index 589048de80fcc3f4e61575d17ce5d34eaf83abbd..738d5061f4e6601e6285a9d1140386c27f9f0f6d 100644 (file)
--- a/lib/ansi.h
+++ b/lib/ansi.h
@@ -872,7 +872,7 @@ void /*@alt void * @*/
      modifed  12/29/2000
   */
 
-void /*@alt char * @*/
+void /*@alt char * @*/ 
   strcpy (/*@unique@*/ /*@out@*/ /*@returned@*/ char *s1, char *s2) 
      /*@modifies *s1@*/ 
      /*@requires maxSet(s1) >= maxRead(s2) @*/