diff --git a/src/compiler/CMakeLists.txt b/src/compiler/CMakeLists.txt
index 360bff55d..7aadc204c 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 b6427d9b7..7892cd875 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