From 088350c2aaa1606aede401fd2d0a0ed62dadd468 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 11 Sep 2015 17:15:06 -0700 Subject: [PATCH] refactor(compiler): rename rec_args.* to util.* --- src/compiler/CMakeLists.txt | 2 +- src/compiler/simp_pr1_rec.cpp | 2 +- src/compiler/{rec_args.cpp => util.cpp} | 0 src/compiler/{rec_args.h => util.h} | 0 4 files changed, 2 insertions(+), 2 deletions(-) rename src/compiler/{rec_args.cpp => util.cpp} (100%) rename src/compiler/{rec_args.h => util.h} (100%) diff --git a/src/compiler/CMakeLists.txt b/src/compiler/CMakeLists.txt index 360bff55de..7aadc204c2 100644 --- a/src/compiler/CMakeLists.txt +++ b/src/compiler/CMakeLists.txt @@ -1,2 +1,2 @@ -add_library(compiler OBJECT rec_args.cpp eta_expansion.cpp simp_pr1_rec.cpp preprocess_rec.cpp +add_library(compiler OBJECT util.cpp eta_expansion.cpp simp_pr1_rec.cpp preprocess_rec.cpp init_module.cpp) diff --git a/src/compiler/simp_pr1_rec.cpp b/src/compiler/simp_pr1_rec.cpp index b6427d9b7f..7892cd8750 100644 --- a/src/compiler/simp_pr1_rec.cpp +++ b/src/compiler/simp_pr1_rec.cpp @@ -11,7 +11,7 @@ Author: Leonardo de Moura #include "library/replace_visitor.h" #include "library/constants.h" #include "library/util.h" -#include "compiler/rec_args.h" +#include "compiler/util.h" namespace lean { class simp_pr1_rec_fn : public replace_visitor { diff --git a/src/compiler/rec_args.cpp b/src/compiler/util.cpp similarity index 100% rename from src/compiler/rec_args.cpp rename to src/compiler/util.cpp diff --git a/src/compiler/rec_args.h b/src/compiler/util.h similarity index 100% rename from src/compiler/rec_args.h rename to src/compiler/util.h