Pacified unused variable warning
							parent
							
								
									4e2b658588
								
							
						
					
					
						commit
						4bac016899
					
				| 
						 | 
					@ -28,7 +28,7 @@ void VariableIndex::augment(const FG& factors, boost::optional<const FastVector<
 | 
				
			||||||
  gttic(VariableIndex_augment);
 | 
					  gttic(VariableIndex_augment);
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  // Save original number of factors for keeping track of indices
 | 
					  // Save original number of factors for keeping track of indices
 | 
				
			||||||
  const size_t originalNFactors = nFactors_;
 | 
					//  const size_t originalNFactors = nFactors_;
 | 
				
			||||||
 | 
					
 | 
				
			||||||
  // Augment index for each factor
 | 
					  // Augment index for each factor
 | 
				
			||||||
  for(size_t i = 0; i < factors.size(); ++i)
 | 
					  for(size_t i = 0; i < factors.size(); ++i)
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
		Reference in New Issue