X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/c757ee29b6ba485150203b7e2c11452909c77f37..b2a40ced6227156a72f33e0fd47452e10309bc8b:/src/uentry.c

diff --git a/src/uentry.c b/src/uentry.c
index 0f5fb17..5077faf 100644
--- a/src/uentry.c
+++ b/src/uentry.c
@@ -6693,7 +6693,6 @@ uvinfo_copy (uvinfo u)
   ret->defstate = u->defstate;
   ret->checked = u->checked;
 
-  /*@i523 ret->origsref = sRef_copy (u->origsref); */
 
   /* drl added 07-02-001 */
   /* copy null terminated information */