Index: src/ControlStruct/LabelFixer.cc
===================================================================
--- src/ControlStruct/LabelFixer.cc	(revision 82dd287be3d478bfc671d7f0679e11c94f8b8500)
+++ src/ControlStruct/LabelFixer.cc	(revision cff1143e2baa13d1597cb90a47cb8f47aa3cc8db)
@@ -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;
 	}