Fixed declarations of inptr_t and uintptr_t.

[splint.git] / src / globSet.c

diff --git a/src/globSet.c b/src/globSet.c
index d3b1958e07cb97df9c36675a64c2b3aea5491f07..b595c9c303d6d8f4b3515517cb63a5f5b2e86859 100644 (file)
--- a/src/globSet.c
+++ b/src/globSet.c
@@ -1,6 +1,6 @@
 /*
 ** Splint - annotation-assisted static program checker
-** Copyright (C) 1994-2002 University of Virginia,
+** Copyright (C) 1994-2003 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -167,8 +167,8 @@ globSet_undump (char **s)
 /*@only@*/ cstring
 globSet_unparse (globSet ll)
 {
-  return (sRefSet_unparseFull (ll));
-  /* return (sRefSet_unparsePlain (ll)); */
+  /* return (sRefSet_unparseFull (ll)); */
+  return (sRefSet_unparsePlain (ll)); 
 }
 
 int