Index: src/ControlStruct/LabelFixer.cc
===================================================================
--- src/ControlStruct/LabelFixer.cc	(revision 8686f31372b7edb696278a0d0707626765889b2c)
+++ src/ControlStruct/LabelFixer.cc	(revision 0a0a65b5f4350f6944a83b488d01c51bd4882e98)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Rob Schluntz
-// Last Modified On : Wed Jun 24 16:24:34 2015
-// Update Count     : 141
+// Last Modified On : Wed Jul 08 12:36:46 2015
+// Update Count     : 145
 //
 
@@ -61,8 +61,16 @@
 
 	void LabelFixer::visit( FunctionDecl *functionDecl ) {
+		// need to go into a nested function in a fresh state
+		std::map < Label, Entry *> oldLabelTable = labelTable;
+		labelTable.clear();
+
 		maybeAccept( functionDecl->get_statements(), *this );
 
 		MLEMutator mlemut( resolveJumps(), generator );
 		functionDecl->acceptMutator( mlemut );
+
+		// and remember the outer function's labels when
+		// returning to it
+		labelTable = oldLabelTable;
 	}