mirror of
				https://github.com/OPM/opm-simulators.git
				synced 2025-02-25 18:55:30 -06:00 
			
		
		
		
	this broke with 94006531. I actually fixed the reservoir problem yesterday before pushing 94006531 but forgot to include the fix in my local branch before pushing. Stupid me!