diff src/ov-struct.cc @ 4059:db58c1a1e6ce

[project @ 2002-09-18 07:21:12 by jwe]
author jwe
date Wed, 18 Sep 2002 07:21:12 +0000
parents 635209a37bf4
children 6e86256e9c54
line wrap: on
line diff
--- a/src/ov-struct.cc
+++ b/src/ov-struct.cc
@@ -239,6 +239,8 @@
 			next_idx.remove_front ();
 			next_idx.remove_front ();
 
+			u.make_unique ();
+
 			t_rhs = u.subsasgn (type.substr (2), next_idx, rhs);
 		      }
 		  }
@@ -275,6 +277,8 @@
 
 		next_idx.remove_front ();
 
+		u.make_unique ();
+
 		t_rhs = u.subsasgn (type.substr (1), next_idx, rhs);
 	      }
 	  }