diff --git a/src/A3.cpp b/src/A3.cpp
index 33e028c80..eb1c2df8b 100644
--- a/src/A3.cpp
+++ b/src/A3.cpp
@@ -1484,27 +1484,6 @@ bool A3::extract_uuid (
   return false;
 }
 
-////////////////////////////////////////////////////////////////////////////////
-bool A3::which_operator (
-  const std::string& input,
-  char& type,
-  int& precedence,
-  char& associativity)
-{
-  for (unsigned int i = 0; i < NUM_OPERATORS; ++i)
-  {
-    if (operators[i].op == input)
-    {
-      type          = operators[i].type;
-      precedence    = operators[i].precedence;
-      associativity = operators[i].associativity;
-      return true;
-    }
-  }
-
-  return false;
-}
-
 ////////////////////////////////////////////////////////////////////////////////
 void A3::dump (const std::string& label) const
 {
diff --git a/src/A3.h b/src/A3.h
index 80de96a95..9c1886a18 100644
--- a/src/A3.h
+++ b/src/A3.h
@@ -84,8 +84,6 @@ public:
   static bool extract_id (const std::string&, std::vector <int>&);
   static bool extract_uuid (const std::string&, std::vector <std::string>&);
 
-  static bool which_operator (const std::string&, char&, int&, char&);
-
   void dump (const std::string&) const;
 };
 
diff --git a/src/Task.h b/src/Task.h
index 8e508a672..631e9459b 100644
--- a/src/Task.h
+++ b/src/Task.h
@@ -31,7 +31,6 @@
 #include <map>
 #include <string>
 #include <stdio.h>
-#include <A3.h>
 
 class Task : public std::map <std::string, std::string>
 {