From c4711ac472cd3a42e94013a780a0a7827280b56a Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 21 Oct 2012 16:03:12 -0700
Subject: [PATCH] checkpoint

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 scripts/mk_make.py                                 | 2 +-
 scripts/mk_util.py                                 | 4 ++--
 {lib => src/core_tactics}/elim_term_ite_tactic.cpp | 0
 {lib => src/core_tactics}/elim_term_ite_tactic.h   | 0
 {lib => src/core_tactics}/reduce_args_tactic.cpp   | 0
 {lib => src/core_tactics}/reduce_args_tactic.h     | 0
 6 files changed, 3 insertions(+), 3 deletions(-)
 rename {lib => src/core_tactics}/elim_term_ite_tactic.cpp (100%)
 rename {lib => src/core_tactics}/elim_term_ite_tactic.h (100%)
 rename {lib => src/core_tactics}/reduce_args_tactic.cpp (100%)
 rename {lib => src/core_tactics}/reduce_args_tactic.h (100%)

diff --git a/scripts/mk_make.py b/scripts/mk_make.py
index 79c5b8c9f..35d1b3457 100644
--- a/scripts/mk_make.py
+++ b/scripts/mk_make.py
@@ -1,7 +1,7 @@
 ############################################
 # Copyright (c) 2012 Microsoft Corporation
 # 
-# Scripts for generate Makefiles and Visual 
+# Scripts for generating Makefiles and Visual 
 # Studio project files.
 #
 # Author: Leonardo de Moura (leonardo)
diff --git a/scripts/mk_util.py b/scripts/mk_util.py
index 2ccc92f3b..658f266c2 100644
--- a/scripts/mk_util.py
+++ b/scripts/mk_util.py
@@ -1,8 +1,8 @@
 ############################################
 # Copyright (c) 2012 Microsoft Corporation
 # 
-# Auxiliary scripts for generate Makefiles and Visual 
-# Studio project files.
+# Auxiliary scripts for generating Makefiles 
+# and Visual Studio project files.
 #
 # Author: Leonardo de Moura (leonardo)
 ############################################
diff --git a/lib/elim_term_ite_tactic.cpp b/src/core_tactics/elim_term_ite_tactic.cpp
similarity index 100%
rename from lib/elim_term_ite_tactic.cpp
rename to src/core_tactics/elim_term_ite_tactic.cpp
diff --git a/lib/elim_term_ite_tactic.h b/src/core_tactics/elim_term_ite_tactic.h
similarity index 100%
rename from lib/elim_term_ite_tactic.h
rename to src/core_tactics/elim_term_ite_tactic.h
diff --git a/lib/reduce_args_tactic.cpp b/src/core_tactics/reduce_args_tactic.cpp
similarity index 100%
rename from lib/reduce_args_tactic.cpp
rename to src/core_tactics/reduce_args_tactic.cpp
diff --git a/lib/reduce_args_tactic.h b/src/core_tactics/reduce_args_tactic.h
similarity index 100%
rename from lib/reduce_args_tactic.h
rename to src/core_tactics/reduce_args_tactic.h