From f1c9c9b7cd441effa16313b61f4b07bf0fe52b49 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 1 Nov 2012 12:15:45 -0700 Subject: [PATCH] resurrecting assertion_stack Signed-off-by: Leonardo de Moura --- src/ast/{macros => }/macro_substitution.cpp | 0 src/ast/{macros => }/macro_substitution.h | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/ast/{macros => }/macro_substitution.cpp (100%) rename src/ast/{macros => }/macro_substitution.h (100%) diff --git a/src/ast/macros/macro_substitution.cpp b/src/ast/macro_substitution.cpp similarity index 100% rename from src/ast/macros/macro_substitution.cpp rename to src/ast/macro_substitution.cpp diff --git a/src/ast/macros/macro_substitution.h b/src/ast/macro_substitution.h similarity index 100% rename from src/ast/macros/macro_substitution.h rename to src/ast/macro_substitution.h