Style fix in tdumpsel.
This commit is contained in:
		
				
					committed by
					
						 Roberto E. Vargas Caballero
						Roberto E. Vargas Caballero
					
				
			
			
				
	
			
			
			
						parent
						
							f21e47f44a
						
					
				
				
					commit
					49672dac7b