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