Renamed modwalker.h to modtools.h
authorClifford Wolf <clifford@clifford.at>
Thu, 31 Jul 2014 21:30:18 +0000 (23:30 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 31 Jul 2014 21:30:18 +0000 (23:30 +0200)
commit32a1cc3efdad7953af1805b245f2a0292698633a
tree3d80e27faca013b5af666b31170403d0c6cfd4e2
parent62c8a7152551519d6e876319b1068a1987a14f3c
Renamed modwalker.h to modtools.h
kernel/modtools.h [new file with mode: 0644]
kernel/modwalker.h [deleted file]
passes/memory/memory_share.cc
passes/sat/share.cc