diff --git a/pysmt/logics.py b/pysmt/logics.py
index dfdeb2434..5c76f402c 100644
--- a/pysmt/logics.py
+++ b/pysmt/logics.py
@@ -590,6 +590,7 @@ def __hash__(self):
               description=\
 """Non-linear integer arithmetic with uninterpreted sort and function
 symbols.""",
+              integer_arithmetic=True,
               integer_difference=True,
               linear=False,
               uninterpreted=True)