Index: src/SynTree/Declaration.cc
===================================================================
--- src/SynTree/Declaration.cc	(revision 447c35601995880f86baa595fb0755c65564b620)
+++ src/SynTree/Declaration.cc	(revision a365e0dc71361561076d5a26ee3b8253c0604c74)
@@ -42,4 +42,6 @@
 
 void Declaration::fixUniqueId() {
+	// don't need to set unique ID twice
+	if ( uniqueId ) return;
 	uniqueId = ++lastUniqueId;
 	idMap[ uniqueId ] = this;