1 files changed, 3 insertions, 3 deletions
diff --git a/model.h b/model.h
index 5a4800c..4522b89 100644
--- a/model.h
+++ b/model.h
@@ -311,9 +311,9 @@ class NumObj: public EvalObj {
         NumObj(NumLvl level, bool _exactness);
         bool is_exact();
         virtual NumObj *convert(NumObj *r) = 0;
-        virtual NumObj *plus(NumObj *r) = 0;
-        virtual NumObj *minus(NumObj *r) = 0;
-        virtual NumObj *multi(NumObj *r) = 0;
+        virtual NumObj *add(NumObj *r) = 0;
+        virtual NumObj *sub(NumObj *r) = 0;
+        virtual NumObj *mul(NumObj *r) = 0;
         virtual NumObj *div(NumObj *r) = 0;
         virtual bool lt(NumObj *r) = 0;
         virtual bool gt(NumObj *r) = 0;