From 3e50a65dfc5d12e495c0459647113036c094f260 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 17 Nov 2012 17:12:30 -0800 Subject: [PATCH] isolating elim_term_ite inside smt module Signed-off-by: Leonardo de Moura --- src/{ast/normal_forms => smt}/elim_term_ite.cpp | 0 src/{ast/normal_forms => smt}/elim_term_ite.h | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/{ast/normal_forms => smt}/elim_term_ite.cpp (100%) rename src/{ast/normal_forms => smt}/elim_term_ite.h (100%) diff --git a/src/ast/normal_forms/elim_term_ite.cpp b/src/smt/elim_term_ite.cpp similarity index 100% rename from src/ast/normal_forms/elim_term_ite.cpp rename to src/smt/elim_term_ite.cpp diff --git a/src/ast/normal_forms/elim_term_ite.h b/src/smt/elim_term_ite.h similarity index 100% rename from src/ast/normal_forms/elim_term_ite.h rename to src/smt/elim_term_ite.h