From fab47f5f7d1d3ab7d4daa4284ea2687d4883e7e9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 25 Oct 2012 15:45:57 -0700 Subject: [PATCH] checkpoint Signed-off-by: Leonardo de Moura --- src/{ => tactic}/smt/ctx_solver_simplify_tactic.cpp | 0 src/{ => tactic}/smt/ctx_solver_simplify_tactic.h | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/{ => tactic}/smt/ctx_solver_simplify_tactic.cpp (100%) rename src/{ => tactic}/smt/ctx_solver_simplify_tactic.h (100%) diff --git a/src/smt/ctx_solver_simplify_tactic.cpp b/src/tactic/smt/ctx_solver_simplify_tactic.cpp similarity index 100% rename from src/smt/ctx_solver_simplify_tactic.cpp rename to src/tactic/smt/ctx_solver_simplify_tactic.cpp diff --git a/src/smt/ctx_solver_simplify_tactic.h b/src/tactic/smt/ctx_solver_simplify_tactic.h similarity index 100% rename from src/smt/ctx_solver_simplify_tactic.h rename to src/tactic/smt/ctx_solver_simplify_tactic.h