/**
 ** \file ast/assert-exp.hxx
 ** \brief Inline methods of ast::AssertExp.
 */

#pragma once

#include <ast/assert-exp.hh>

namespace ast
{
    inline const Exp& AssertExp::cond_get() const { return *cond_; } 
    inline Exp& AssertExp::cond_get() { return *cond_; } 
} // namespace ast