diff --git a/tools/transforms/PNTransformDriver.cpp b/tools/transforms/PNTransformDriver.cpp
index f69e6c72693d8b673fb1f7d5a6de53e731036966..e30abc4698e3597992f07b4b479dd162e1c0fe68 100644
--- a/tools/transforms/PNTransformDriver.cpp
+++ b/tools/transforms/PNTransformDriver.cpp
@@ -1022,6 +1022,7 @@ bool PNTransformDriver::Validate_Recursive(vector<validation_record> &vrs, unsig
 			{
 				failed.push_back(vrs[start].func);
 				cout<<"Validate Recursive: Function: "<<vrs[start].func->GetName()<<" has no additional inferences."<<endl;
+				return false;
 			}
 
 			vrs[start].layouts[vrs[start].layout_index]->Shuffle();