From 274aa297537a7cbf268c8f8b73f671498e372fe0 Mon Sep 17 00:00:00 2001
From: makaimann <makaim@stanford.edu>
Date: Mon, 2 Dec 2019 16:53:27 -0800
Subject: [PATCH] Minor refactor: rename opterm_black to op_black (#3521)

---
 test/unit/api/CMakeLists.txt                 | 2 +-
 test/unit/api/{opterm_black.h => op_black.h} | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)
 rename test/unit/api/{opterm_black.h => op_black.h} (98%)

diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt
index ca3c59750..7566c432d 100644
--- a/test/unit/api/CMakeLists.txt
+++ b/test/unit/api/CMakeLists.txt
@@ -2,7 +2,7 @@
 # Add unit tests
 
 cvc4_add_unit_test_black(datatype_api_black api)
-cvc4_add_unit_test_black(opterm_black api)
+cvc4_add_unit_test_black(op_black api)
 cvc4_add_unit_test_black(solver_black api)
 cvc4_add_unit_test_black(sort_black api)
 cvc4_add_unit_test_black(term_black api)
diff --git a/test/unit/api/opterm_black.h b/test/unit/api/op_black.h
similarity index 98%
rename from test/unit/api/opterm_black.h
rename to test/unit/api/op_black.h
index 0dd7587ff..3bf9b93c3 100644
--- a/test/unit/api/opterm_black.h
+++ b/test/unit/api/op_black.h
@@ -1,5 +1,5 @@
 /*********************                                                        */
-/*! \file opterm_black.h
+/*! \file op_black.h
  ** \verbatim
  ** Top contributors (to current version):
  **   Aina Niemetz
@@ -27,7 +27,7 @@ class OpBlack : public CxxTest::TestSuite
   void testGetKind();
   void testGetSort();
   void testIsNull();
-  void testOpTermFromKind();
+  void testOpFromKind();
   void testGetIndicesString();
   void testGetIndicesKind();
   void testGetIndicesUint();
@@ -61,7 +61,7 @@ void OpBlack::testIsNull()
   TS_ASSERT(!x.isNull());
 }
 
-void OpBlack::testOpTermFromKind()
+void OpBlack::testOpFromKind()
 {
   Op plus(PLUS);
   TS_ASSERT(!plus.isIndexed());
-- 
2.30.2