Use MEMID as name for $mem cell
authorClifford Wolf <clifford@clifford.at>
Sun, 9 Aug 2015 11:35:44 +0000 (13:35 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 9 Aug 2015 11:35:44 +0000 (13:35 +0200)
commit883e09d8edcdd5152294cde530faf4c9e4ff19e0
tree4a22febb30dd46185c5fe6ebcb9a4c0ce035dd47
parent3565e89a8b05a01b3035fc2081bad27c946f13e5
Use MEMID as name for $mem cell
backends/smt2/smt2.cc
passes/memory/memory_collect.cc