Add temporary stats
This commit is contained in:
		
							parent
							
								
									24c6806994
								
							
						
					
					
						commit
						30964103dc
					
				
					 2 changed files with 28 additions and 1 deletions
				
			
		|  | @ -276,6 +276,7 @@ public: | |||
| 
 | ||||
|     /* Print statistics. */ | ||||
|     void printStats(); | ||||
|     void printStats2(); | ||||
| 
 | ||||
|     void realiseContext(const PathSet & context); | ||||
| 
 | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue