Skip to content
Commit 5db5281d authored by Fariborz Jahanian's avatar Fariborz Jahanian
Browse files

Finish implementing property synthesis by default. 

(radar 7381956).

llvm-svn: 95695
parent c319f5c0
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment