Fix race condition with SafeLang15

Authored by dterei on Aug 8 2011, 12:39 PM.

Description

Fix race condition with SafeLang15

Details

Committed
dtereiAug 8 2011, 12:39 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFa012b7872240: remove duplicate test (driver/recomp009 is the same test, from #481)
Branches
Unknown
Tags
Unknown