Fix silly mistake with SafeLang15

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

Description

Fix silly mistake with SafeLang15

Details

Committed
dtereiAug 8 2011, 12:41 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF9eac5df5c0b5: Fix race condition with SafeLang15
Branches
Unknown
Tags
Unknown