Commit f9d41c1d authored by Nicolas Geoffray's avatar Nicolas Geoffray
Browse files

Revert "Add basic checks for redefinition." 

Test fails.

This reverts commit 10f02fb4.

Change-Id: I21abfff0d7cd4ec840447f19819b7859b90f45b2
parent a82de09e
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment