1 files changed, 11 insertions, 1 deletions
diff --git a/src/theory/arith/arithvar.h b/src/theory/arith/arithvar.h
index 52dc9fd6a..432f9f0c2 100644
--- a/src/theory/arith/arithvar.h
+++ b/src/theory/arith/arithvar.h
@@ -47,7 +47,17 @@ typedef __gnu_cxx::hash_map<ArithVar, Node> ArithVarToNodeMap;
  */
 class ArithVarCallBack {
 public:
-  virtual void callback(ArithVar x) = 0;
+  virtual void operator()(ArithVar x) = 0;
+};
+
+class TNodeCallBack {
+public:
+  virtual void operator()(TNode n) = 0;
+};
+
+class NodeCallBack {
+public:
+  virtual void operator()(Node n) = 0;
 };
 
 }; /* namesapce arith */