diff --git a/packages/teuchos/core/src/Teuchos_Utils.hpp b/packages/teuchos/core/src/Teuchos_Utils.hpp
index 71b13c9087b3..9165a0c9c5ad 100644
--- a/packages/teuchos/core/src/Teuchos_Utils.hpp
+++ b/packages/teuchos/core/src/Teuchos_Utils.hpp
@@ -60,9 +60,6 @@ namespace Teuchos
     {
     public:
 
-      /** \brief print a description of the current build. */
-      static void aboutBuild();
-
       /** \brief Set a number to zero if it is less than
        * <tt>getChopVal()</tt>. */
       static double chop(const double& x);
diff --git a/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.cpp b/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.cpp
index d5a2d6d7cc4d..774a107ea700 100644
--- a/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.cpp
+++ b/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.cpp
@@ -414,12 +414,6 @@ void simplify(FiniteAutomaton& result, FiniteAutomaton const& fa) {
   swap(result, next);
 }
 
-void make_char_nfa(FiniteAutomaton& result, bool is_deterministic_init, int nstates_reserve) {
-  using std::swap;
-  FiniteAutomaton tmp(Teuchos::NCHARS, is_deterministic_init, nstates_reserve);
-  swap(result, tmp);
-}
-
 void add_char_transition(FiniteAutomaton& fa, int from_state, char at_char, int to_state) {
   add_transition(fa, from_state, get_symbol(at_char), to_state);
 }
diff --git a/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.hpp b/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.hpp
index b4dc120afcb5..0a909cf3827c 100644
--- a/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.hpp
+++ b/packages/teuchos/parser/src/Teuchos_FiniteAutomaton.hpp
@@ -63,7 +63,6 @@ void make_deterministic(FiniteAutomaton& result, FiniteAutomaton& nfa);
 void simplify_once(FiniteAutomaton& result, FiniteAutomaton const& fa);
 void simplify(FiniteAutomaton& result, FiniteAutomaton const& fa);
 
-FiniteAutomaton make_char_nfa(bool is_deterministic_init, int nstates_reserve);
 void add_char_transition(FiniteAutomaton& fa, int from_state, char at_char, int to_state);
 bool is_symbol(char c);
 int get_symbol(char c);