/**
 ** \file assert/renamer.cc
 ** \brief Implementation of assert::Renamer.
 */

#include <assert/renamer.hh>

namespace assert
{

  Renamer::Renamer() = default;

  void Renamer::operator()(ast::AssertExp& e)
  {
    ast::AssertVisitor::operator()(e);
  }

} // namespace assert