Add $dffsr support to async2sync
authorClifford Wolf <clifford@clifford.at>
Sat, 9 Mar 2019 19:52:00 +0000 (11:52 -0800)
committerClifford Wolf <clifford@clifford.at>
Sat, 9 Mar 2019 19:52:00 +0000 (11:52 -0800)
commit399ab16315468df95fc8a180d384d2ce8eed8049
treedb392d1864af554ce4dcb4a9137d18f0e700c02d
parentcebd21aa9642e51acacbcbe62dee56074e8ed4d8
Add $dffsr support to async2sync

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/async2sync.cc